Bibliography

Overview

Tree

Index

Bibliography

PREV NEXT

FRAMES NO FRAME

&-0 1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W Y Z

P

Pacholski L.

in: Baaz M. and Salzer G.
"Semi-Unification and Generalizations of a Particularly Simple Form" (1995)

Papers

in: Baaz M. and Zach R.
"Algorithmic Structuring of Cut-free Proofs" (1993)

Paraconsistent

in: Baaz M.
"Kripke-Type Semantics for Da Costa's Paraconsistent Logic $C$ _ω" (1986)

Parallel

in: Aehlig K., Johannsen J., Schwichtenberg H. and Terwijn S. A.
"Linear ramified higher type recursion and parallel complexity" (2001)
in: Fermüller C. G. and Ciabattoni A.
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003)
in: Kuich W.
"The characterization of parallel ultralinear grammars by rational power series" (1981)

Parikh

in: Kuich W.
"The Kleene and the Parikh theorem in complete semirings" (1987)

Partial

in: Asperti A. and Ciabattoni A.
"A Sufficient Condition for Completability of Partial Combinatory Algebras" (1997)

Particularly

in: Baaz M. and Moser G.
"On generalizations of semi-terms of particularly simple form" (2002)
in: Baaz M. and Salzer G.
"Semi-Unification and Generalizations of a Particularly Simple Form" (1995)

Path-Hypertableau

in: Ciabattoni A. and Ferrari M.
"Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics" (2000)

Pergamon

in: Baaz M. and Quirchmayr G.
"Logic-Based Models of Analogical Reasoning" (1992)

Philosophie

in: Baaz M., Brunner N. and Svozil K.
"Interpretations of Combinatory Algebras" (1993)

Philosophy

in: Baaz M., Fermüller C. G. and Salzer G.
"Systematic Construction of Calculi for Finite-Valued First-Order Logics" (1995)
in: Baaz M.
"Gödel's Justification of His Completeness Theorem" (1983)

Physica-Verlag

in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Sequent of relations calculi: A framework for analytic deduction in many-valued logics" (2003)
in: Baaz M., Ciabattoni A. and Fermüller C. G.
"A Natural Deduction System for Intuitionistic Fuzzy Logic" (2001)

Physics

in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996)

Point

in: Baaz M.
"The Scheme of Identity: a Computational Point of View" (1993)

Pollett C.

in: Beckmann A., Buss S. R. and Pollett C.
"Ordinal Notations and Well-Orderings in Bounded Arithmetic" (2003)

Polynomalgebren

in: Kuich W.
"Polynomalgebren, algebraische Systeme und Kellerautomaten" (1988)

Posegga J.

in: Baaz M. and Fermüller C. G.
"Non-elementary Speedups between Different Versions of Tableaux" (1995)

Possible

in: Baaz M. and Quirchmayr G.
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988)

Potenzreihen

in: Kuich W.
"Hauptkegel algebraischer Potenzreihen" (1987)

Power

in: Baron G. and Kuich W.
"The characterization of nonexpansive grammars by rational power series" (1981)
in: Honkala J. and Kuich W.
"On Lindenmayerian algebraic power series" (1997)
in: Honkala J. and Kuich W.
"On a power series generalization of ETL languages" (1996)
in: Honkala J. and Kuich W.
"On four classes of Lindenmayerian power series" (1995)
in: Karner G. and Kuich W.
"A characterization of abstract families of algebraic power series" (1997)
in: Kuich W.
"Gaussian elimination and a characterization of algebraic power series" (1998)
in: Kuich W.
"Semirings and formal power series: their relevance to formal languages and automata" (1997)
in: Kuich W.
"The characterization of parallel ultralinear grammars by rational power series" (1981)

Prague

in: Baaz M. and Veith H.
"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule" (1999)

Preining N.

in: Baaz M. and Preining N.
"Herbrand Disjunctions and Extraction of Proofs from Sketches" (2004)
in: Baaz M., Preining N. and Zach R.
"On the classification of Gödel logics" (2004)
in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $ω$ " (2004)
in: Baaz M., Preining N. and Zach R.
"Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics" (2003)
in: Baaz M., Fermüller C. G., Gil A. J., Preining N. and Salzer G.
"MUltlog and MUltseq Reanimated and Married" (2003)
in: Baaz M., Ciabattoni A., Preining N. and Veith H.
"A Guide to Quantified Propositional Gödel Logic" (2001)
in: Fermüller C. G. and Preining N.
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003)
in: Preining N.
"Complete Recursive Axiomatizability of Gödel Logics" (2003)
in: Preining N.
"Gödel logics and Cantor-Bendixon Analysis" (2002)
in: Preining N.
"Proof theory and proof systems for projective and affine geometry" (2002)
in: Preining N.
"Sketch-as-Proof" (1997)
in: Preining N.
"Sketch-as-proof, a proof-theoretic analysis of axiomatic projective geometry" (1996)

Prenex

in: Baaz M., Preining N. and Zach R.
"Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics" (2003)
in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving" (2001)

Presentable

in: Downey R. and Terwijn S. A.
"Computably enumerable reals and uniformly presentable ideals" (2002)

Preservation

in: Beckmann A.
"Preservation theorems and restricted consistency statements in bounded arithmetic" (2001)

Preservativity

in: Iemhoff R.
"Preservativity logic (An analogue of interpretability logic for constructive theories)" (2003)

Press

in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic" (2001)
in: Baaz M. and Zach R.
"Compact Propositional Gödel Logic" (1998)
in: Baaz M. and Fermüller C. G.
"Intuitionistic Counterparts of Finitely-valued Logics" (1996)
in: Baaz M., Fermüller C. G. and Leitsch A.
"A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation" (1994)
in: Baaz M. and Zach R.
"Approximatig Propositional Calculi by Finite-valued Logics" (1994)
in: Baaz M. and Pudlák P.
"Kreisel's Conjecture for $L∃$ ₁" (1993)
in: Baaz M.
"Note on the Existence of Most-general Semi-unifiers" (1993)
in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1993)
in: Baaz M. and Quirchmayr G.
"Logic-Based Models of Analogical Reasoning" (1992)

Primitive

in: Beckmann A.
"A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets" (2002)

Principle

in: Baaz M. and Fermüller C. G.
"A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation" (1993)

Principles

in: Baaz M., Egly U. and Fermüller C. G.
"Lean Induction Principles for Tableaux" (1997)
in: Iemhoff R.
"A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001)

Priorities

in: Baaz M. and Quirchmayr G.
"Modelling Priorities in Legal Expert Systems" (1987)

Problem

in: Baaz M. and Leitsch A.
"A Strong Problem Reduction Method Based on Function Introduction" (1990)
in: Kuich W.
"On the multiplicity equivalence problem for context-free grammars" (1994)

Problemreduktion

in: Baaz M. and Leitsch A.
"Eine Methode zur automatischen Problemreduktion" (1985)

Problems

in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Resource bounded randomness and weakly complete problems" (1997)
in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Resource bounded randomness and weakly complete problems" (1994)
in: Baaz M.
"Logical Calculi Applied to Problems in Computer Science" (1992)

Proc

in: Baaz M. and Moser G.
"On a generalisation of Herbrand's theorm" (2001)
in: Baaz M. and Veith H.
"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule" (1999)
in: Baaz M. and Veith H.
"Quantifier Elimination in Fuzzy Logic" (1999)
in: Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
"Proof theory of fuzzy logic:Urquhart's C and related logics" (1998)
in: Baaz M. and Leitsch A.
"Cut elimination by resolution" (1997)
in: Baaz M. and Leitsch A.
"Fast Cut-Elimination by Projection" (1997)
in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" (1996)
in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996)
in: Baaz M. and Fermüller C. G.
"Intuitionistic Counterparts of Finitely-valued Logics" (1996)
in: Baaz M. and Salzer G.
"Semi-Unification and Generalizations of a Particularly Simple Form" (1995)
in: Baaz M., Fermüller C. G. and Salzer G.
"Systematic Construction of Calculi for Finite-Valued First-Order Logics" (1995)
in: Baaz M. and Hörwein K.
"A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (1994)
in: Baaz M., Fermüller C. G. and Leitsch A.
"A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation" (1994)
in: Baaz M. and Zach R.
"Approximatig Propositional Calculi by Finite-valued Logics" (1994)
in: Baaz M. and Zach R.
"Short Proofs of Tautologies Using the Schema of Equivalence" (1994)
in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
"A Many-Valued Logic for Default Reasoning" (1993)
in: Baaz M. and Quirchmayr G.
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)
in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1993)
in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
"The Application of Kripke-Type Structures to Regional Development Processes" (1993)
in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992)
in: Baaz M. and Quirchmayr G.
"A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems" (1991)
in: Baaz M. and Quirchmayr G.
"A Formal Model of Analogical Reasoning: a Logic Based Approach" (1991)
in: Baaz M. and Quirchmayr G.
"A Logic Based Model of Legal Decision Making" (1990)
in: Baaz M. and Leitsch A.
"A Strong Problem Reduction Method Based on Function Introduction" (1990)
in: Baaz M. and Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)
in: Baaz M. and Quirchmayr G.
"Models of Civil Procedures Based on Multiple-Valued Logic" (1988)
in: Baaz M. and Quirchmayr G.
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988)
in: Baaz M. and Quirchmayr G.
"Modelling Priorities in Legal Expert Systems" (1987)
in: Baaz M. and Quirchmayr G.
"The Application of Multiple Valued Logic in Supporting Legal Decision Making" (1987)
in: Hitchcock J. M., Lutz J. H. and Terwijn S. A.
"The arithmetical complexity of dimension and randomness" (2003)
in: Preining N.
"Sketch-as-Proof" (1997)

Proccedings

in: Beckmann A.
"A note on universal measures for weak implicit computational complexity" (2002)
in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002)

Procedures

in: Baaz M. and Quirchmayr G.
"Models of Civil Procedures Based on Multiple-Valued Logic" (1988)

Proceedings

in: Asperti A. and Ciabattoni A.
"Effective Applicative Structures" (1995)
in: Baaz M., Preining N. and Zach R.
"Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics" (2003)
in: Baaz M.
"Note on a Translation of Charactize Constructivity" (2003)
in: Baaz M. and Moser G.
"On generalizations of semi-terms of particularly simple form" (2002)
in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic" (2001)
in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving" (2001)
in: Baaz M. and Zach R.
"Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic" (2000)
in: Baaz M., Ciabattoni A. and Zach R.
"Quantified propositional Gödel Logics" (2000)
in: Baaz M., Fermüller C. G., Ovrutcki A. and Zach R.
"MULTLOG: A System for Axiomatizing Many-valued Logics" (1993)
in: Baaz M. and Fermüller C. G.
"Resolution for Many-valued Logics" (1992)
in: Fermüller C. G. and Preining N.
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003)
in: Fermüller C. G. and Ciabattoni A.
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003)
in: Preining N.
"Gödel logics and Cantor-Bendixon Analysis" (2002)
in: Terwijn S. A.
"Extensional set learning" (1999)

Process

in: Baaz M., Fermüller C. G. and Zach R.
"Elimination of Cuts in First-order Finite-valued Logics" (1994)
in: Kuich W.
"Representations and complete semiring morphisms" (1995)
in: Kuich W.
"Hauptkegel algebraischer Potenzreihen" (1987)

Processes

in: Baaz M., Galindo F., Quirchmayr G. and Vázqez M.
"The Application of Kripke-Type Structures to Regional Development Processes" (1993)

Prodinger H.

in: Kuich W., Prodinger H. and Urbanek F. J.
"On the height of derivation trees" (1979)

Product

in: Baaz M., Hájek P., Krajiecek J. and Svejda D.
"Embedding Logics into Product Logic" (1998)

Programs

in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" (1996)
in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs" (1995)

Projection

in: Baaz M. and Leitsch A.
"Fast Cut-Elimination by Projection" (1997)

Projective

in: Baaz M. and Fermüller C. G.
"Analytic Calculi for Projective Logics" (1999)
in: Preining N.
"Proof theory and proof systems for projective and affine geometry" (2002)
in: Preining N.
"Sketch-as-proof, a proof-theoretic analysis of axiomatic projective geometry" (1996)

Proof

in: Aehlig K., Johannsen J., Schwichtenberg H. and Terwijn S. A.
"Linear ramified higher type recursion and parallel complexity" (2001)
in: Baaz M. and Ciabattoni A.
"A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic" (2002)
in: Baaz M.
"Proof Analysis by Resolution" (2002)
in: Baaz M.
"Proof Analysis by Resolution" (2002)
in: Baaz M. and Fermüller C. G.
"A Note on the Proof-Theoretic Strength of a single application of the Schema of Identity" (2001)
in: Baaz M. and Leitsch A.
"Comparing the Complexity of Cut-Elimination Methods" (2001)
in: Baaz M. and Zach R.
"Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic" (2000)
in: Baaz M. and Leitsch A.
"Cut Normal Forms and Proof Complexity" (1999)
in: Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
"Proof theory of fuzzy logic:Urquhart's C and related logics" (1998)
in: Baaz M., Fermüller C. G. and Zach R.
"Proof theory of finite-valued logics (Abstract)" (1995)
in: Baaz M., Fermüller C. G. and Leitsch A.
"A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation" (1994)
in: Baaz M. and Leitsch A.
"On Skolemization and Proof Complexity" (1994)
in: Baaz M. and Pudlák P.
"Kreisel's Conjecture for $L∃$ ₁" (1993)
in: Baaz M.
"Note on the Existence of Most-general Semi-unifiers" (1993)
in: Ciabattoni A., Gabbay D. and Olivetti N.
"Cut-free Proof Systems for Logics of Weak Excluded Middle" (1998)
in: Iemhoff R.
"Towards a proof system for admissibility" (2003)
in: Preining N.
"Proof theory and proof systems for projective and affine geometry" (2002)
in: Preining N.
"Proof theory and proof systems for projective and affine geometry" (2002)
in: Preining N.
"Sketch-as-Proof" (1997)

Proof-Theoretic

in: Baaz M. and Fermüller C. G.
"A Note on the Proof-Theoretic Strength of a single application of the Schema of Identity" (2001)

Proof-theoretic

in: Preining N.
"Sketch-as-proof, a proof-theoretic analysis of axiomatic projective geometry" (1996)

Proof-theoretical

in: Ciabattoni A.
"A Proof-theoretical Investigation of Global Intuitionistic (Fuzzy) Logic" (2004)

Proofs

in: Baaz M. and Preining N.
"Herbrand Disjunctions and Extraction of Proofs from Sketches" (2004)
in: Baaz M.
"Generalization of Proofs and Term Complexity" (1994)
in: Baaz M. and Zach R.
"Short Proofs of Tautologies Using the Schema of Equivalence" (1994)
in: Baaz M. and Zach R.
"Algorithmic Structuring of Cut-free Proofs" (1993)
in: Baaz M. and Leitsch A.
"Complexity of Resolution Proofs and Function Introduction" (1992)
in: Beckmann A. and Buss S. R.
"Separation results for the size of constant-depth propositional proofs" (2004)
in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002)

Proposition

in: Baaz M. and Veith H.
"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule" (1999)

Propositional

in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $ω$ " (2004)
in: Baaz M., Ciabattoni A., Preining N. and Veith H.
"A Guide to Quantified Propositional Gödel Logic" (2001)
in: Baaz M., Fermüller C. G. and Veith H.
"An Analytic Calculus for Quantified Propositional Gödel Logic" (2000)
in: Baaz M., Ciabattoni A. and Zach R.
"Quantified propositional Gödel Logics" (2000)
in: Baaz M. and Zach R.
"Compact Propositional Gödel Logic" (1998)
in: Baaz M. and Zach R.
"Approximatig Propositional Calculi by Finite-valued Logics" (1994)
in: Baaz M.
"An Effective Decision Algorithm for Propositional Temporal Logic" (1989)
in: Beckmann A. and Buss S. R.
"Separation results for the size of constant-depth propositional proofs" (2004)
in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002)
in: Iemhoff R.
"A(nother) characterization of Intuitionistic Propositional Logic" (2001)
in: Iemhoff R.
"On the admissible rules of Intuitionistic Propositional Logic" (2001)

Provability

in: Iemhoff R.
"A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001)
in: Iemhoff R.
"Provability Logic and Admissible Rules" (2001)

Provably

in: Beckmann A.
"A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets" (2002)

Publ

in: Terwijn S. A.
"On the quantitative structure of $Δ$ ₂" (2001)

Publications

in: Iemhoff R.
"A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001)

Publishers

in: Baaz M., Kastner F. and Quirchmayr G.
"A Formal Model of Managerial Decision Making" (1991)

Pudlák P.

in: Baaz M. and Pudlák P.
"Kreisel's Conjecture for $L∃$ ₁" (1993)

Pure

in: Baaz M. and Preining N.
"Herbrand Disjunctions and Extraction of Proofs from Sketches" (2004)
in: Baaz M. and Leitsch A.
"Cut Normal Forms and Proof Complexity" (1999)
in: Baaz M. and Zach R.
"Generalizing Theorems in Real Closed Fields" (1995)
in: Baaz M. and Leitsch A.
"Complexity of Resolution Proofs and Function Introduction" (1992)
in: Beckmann A., Buss S. R. and Pollett C.
"Ordinal Notations and Well-Orderings in Bounded Arithmetic" (2003)
in: Iemhoff R.
"A(nother) characterization of Intuitionistic Propositional Logic" (2001)

Pushdown

in: Kuich W.
"Systems of pushdown acceptors and context-free grammars" (1970)