A

A. Di Nola G. G.

in: Baaz M., Ciabattoni A. and Fermüller C. G.
"A Natural Deduction System for Intuitionistic Fuzzy Logic" (2001) 

A. Robinson A. V.

• in: Baaz M., Fermüller C. G. and Salzer G.
  "Automated Deduction for Many-Valued Logics" (2001)
• in: Baaz M., Egly U. and Leitsch A.
  "Normal Form Transformations" (2001)

Ableitungsbäumen

in: Kuich W.
"Quantitative Aspekte bei Ableitungsbäumen" (1980) 

Abstract

• in: Baaz M. and Zach R.
  "Generalizing theorems in real closed fields (Abstract)" (1995)
• in: Baaz M., Fermüller C. G. and Zach R.
  "Proof theory of finite-valued logics (Abstract)" (1995)
• in: Karner G. and Kuich W.
  "A characterization of abstract families of algebraic power series" (1997)
• in: Kuich W.
  "Cones and abstract families of elements" (1997)

Abstracts

in: Baaz M.
"Gödel's Justification of His Completeness Theorem" (1983) 

Acad

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

Acceptors

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

ACM

in: Terwijn S. A.
"Extensional set learning" (1999) 

Acta

in: Kuich W.
"The characterization of parallel ultralinear grammars by rational power series" (1981) 

Addison-Wesley

in: Baaz M. and Leitsch A.
"A Strong Problem Reduction Method Based on Function Introduction" (1990) 

Additive

in: Christensen J., Kanovei V., Terwijn S. A. and Zambella D.
"On the complexity of finitely additive measures" (1997) 

Admissibility

in: Iemhoff R.
"Towards a proof system for admissibility" (2003) 

Admissible

• in: Iemhoff R.
  "On the admissible rules of Intuitionistic Propositional Logic" (2001)
• in: Iemhoff R.
  "Provability Logic and Admissible Rules" (2001)

Adn

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

Advances

• in: Baaz M. and Hörwein K.
  "A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (1994)
• in: Iemhoff R.
  "A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001)

Aehlig K.

in: Aehlig K., Johannsen J., Schwichtenberg H. and Terwijn S. A.
"Linear ramified higher type recursion and parallel complexity" (2001) 

Affine

in: Preining N.
"Proof theory and proof systems for projective and affine geometry" (2002) 

AFL

in: Kuich W.
"The algebraic equivalent of AFL theory" (1995) 

Aglari

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

Aguzzoli S.

• in: Aguzzoli S. and Ciabattoni A.
  " Finiteness of infinite-valued Lukasiewicz logic" (2000)
• in: Aguzzoli S., Ciabattoni A. and Nola A. D.
  "Sequent calculi for finite-valued Lukasiewicz logics via boolean decompositions" (2000)

AI

• in: Baaz M. and Hörwein K.
  "A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (1994)
• in: Baaz M. and Quirchmayr G.
  "A Formal Model of Analogical Reasoning: a Logic Based Approach" (1991)

Akad

• in: Baaz M. and Leitsch A.
  "Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985)
• in: Hlawka E. and Kuich W.
  "Geordnete Schätzfunktionen und Diskrepanz. II" (1965)

Akten

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

Alamitos

• in: Baaz M. and Fermüller C. G.
  "Intuitionistic Counterparts of Finitely-valued Logics" (1996)
• in: Baaz M. and Zach R.
  "Approximatig Propositional Calculi by Finite-valued Logics" (1994)
• in: Baaz M., Fermüller C. G. and Zach R.
  "Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1993)

Algebra

• in: Kuich W.
  "Halbringe und ihre Anwendungen in der Automatentheorie" (1991)
• in: Kuich W.
  "Polynomalgebren, algebraische Systeme und Kellerautomaten" (1988)

Algebra 6

in: Baaz M.
"Über den allgemeinen Gehalt von Beweisen" (1988) 

Algebraic

• in: Honkala J. and Kuich W.
  "On Lindenmayerian algebraic power series" (1997)
• 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.
  "Generalized Lindenmayerian algebraic systems" (1997)
• in: Kuich W.
  "The algebraic equivalent of AFL theory" (1995)

Algebraically

in: Baaz M. and Zach R.
"Note on Generalizing Theorems in Algebraically Closed Fields" (1998) 

Algebraische

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

Algebraischer

• in: Kuich W.
  "Hauptkegel algebraischer Potenzreihen" (1987)
• in: Kuich W.
  "Zur Theorie algebraischer Systeme" (1981)

Algebras

• in: Asperti A. and Ciabattoni A.
  "A Sufficient Condition for Completability of Partial Combinatory Algebras" (1997)
• in: Baaz M., Brunner N. and Svozil K.
  "Interpretations of Combinatory Algebras" (1993)

Algorithm

in: Baaz M.
"An Effective Decision Algorithm for Propositional Temporal Logic" (1989) 

Algorithmic

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

Algorithms

• in: Ambos-spies K., Terwijn S. A. and Zheng X.
  "Resource bounded randomness and weakly complete problems" (1994)
• in: Baaz M.
  "Automated Theorem Proving for Many-valued Logics (Algorithms)" (1990)
• in: Stephan F. and Terwijn S. A.
  "Counting extensional differences in BC-learning" (2000)
• in: Terwijn S. A.
  "On the Learnability of Hidden Markov Models" (2002)

Allgemeinen

in: Baaz M.
"Über den allgemeinen Gehalt von Beweisen" (1988) 

Almost

• in: Ambos-spies K., Merkle W., Riemann J. and Terwijn S. A.
  "Almost complete sets" (2003)
• in: Ambos-spies K., Merkle W., Reimann J. and Terwijn S. A.
  "Almost complete sets" (2000)

Ambos-spies K.

• in: Ambos-spies K., Merkle W., Riemann J. and Terwijn S. A.
  "Almost complete sets" (2003)
• in: Ambos-spies K., Merkle W., Reimann J. and Terwijn S. A.
  "Almost complete sets" (2000)
• in: Ambos-spies K., Terwijn S. A. and Zheng X.
  "Resource bounded randomness and weakly complete problems" (1997)
• in: Ambos-spies K., Neis H. and Terwijn S. A.
  "Genericity and measure for exponential time" (1996)
• in: Ambos-spies K., Terwijn S. A. and Zheng X.
  "Genericity and measure for exponential time" (1996)
• in: Ambos-spies K., Terwijn S. A. and Zheng X.
  "Resource bounded randomness and weakly complete problems" (1994)

Amsterdam

• in: Iemhoff R.
  "Provability Logic and Admissible Rules" (2001)
• in: Terwijn S. A.
  "On the Learnability of Hidden Markov Models" (2002)

Analogical

• in: Baaz M. and Quirchmayr G.
  "Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)
• in: Baaz M. and Quirchmayr G.
  "Analogical Reasoning in Legal Expert Systems" (1992)
• in: Baaz M. and Quirchmayr G.
  "Logic-Based Models of Analogical Reasoning" (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)

Analogue

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

Analysis

• in: Baaz M. and Leitsch A.
  "Towards a clausal analysis of cut-elimination" (2004)
• in: Baaz M.
  "Proof Analysis by Resolution" (2002)
• in: Baaz M.
  "Proof Analysis by Resolution" (2002)
• in: Beckmann A.
  "Dynamic ordinal analysis" (2003)
• in: Iemhoff R.
  "A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001)
• in: Preining N.
  "Gödel logics and Cantor-Bendixon Analysis" (2002)
• in: Preining N.
  "Sketch-as-proof, a proof-theoretic analysis of axiomatic projective geometry" (1996)

Analytic

• in: Baaz M., Ciabattoni A. and Montagna F.
  "Analytic Calculi for Monoidal T-norm Based Logic" (2004)
• 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. 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., Fermüller C. G. and Veith H.
  "An Analytic Calculus for Quantified Propositional Gödel Logic" (2000)
• in: Baaz M., Fermüller C. G. and Veith H.
  "An Analytic Calculus for Quantified Propositional Gödel Logic" (2000)
• in: Baaz M. and Fermüller C. G.
  "Analytic Calculi for Projective Logics" (1999)
• in: Baaz M. and Fermüller C. G.
  "Analytic Calculi for Projective Logics" (1999)
• in: Baaz M., Egly U. and Fermüller C. G.
  "Lean Induction Principles for Tableaux" (1997)
• in: Baaz M. and Fermüller C. G.
  "Combining Many-valued and Intuitionistic Tableaux" (1996)
• in: Baaz M. and Fermüller C. G.
  "Non-elementary Speedups between Different Versions of Tableaux" (1995)

Ann

• 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)

Annals

in: Iemhoff R.
"A(nother) characterization of Intuitionistic Propositional Logic" (2001) 

Annual

• 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 Quirchmayr G.
  "A Formal Model of Analogical Reasoning: a Logic Based Approach" (1991)
• in: Terwijn S. A.
  "Extensional set learning" (1999)

Antipodes---constructive

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

Anwendung

• in: Baaz M. and Leitsch A.
  "Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985)
• in: Baaz M.
  "Die Anwendung der Methode der Sequenzialkalküle auf nichtklassische Logiken" (1984)

Anwendungen

in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991) 

Appl

• 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)

Application

• 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., Egly U. and Leitsch A.
  "Extension Methods in Automated Deduction" (1998)
• in: Baaz M. and Fermüller C. G.
  "A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation" (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. and Quirchmayr G.
  "The Application of Multiple Valued Logic in Supporting Legal Decision Making" (1987)
• in: Baaz M.
  "The Application of Sequent Calculi to Non-Classical Logics" (1984)

Applications

• 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. and Quirchmayr G.
  "Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (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. and Quirchmayr G.
  "Logic-Based Models of Analogical Reasoning" (1992)
• in: Baaz M. and Quirchmayr G.
  "A Logic Based Model of Legal Decision Making" (1990)
• in: Baaz M. and Quirchmayr G.
  "Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988)
• in: Stephan F. and Terwijn S. A.
  "Counting extensional differences in BC-learning" (2000)
• in: Terwijn S. A.
  "On the Learnability of Hidden Markov Models" (2002)

Applicative

in: Asperti A. and Ciabattoni A.
"Effective Applicative Structures" (1995) 

Applied

• in: Baaz M.
  "Logical Calculi Applied to Problems in Computer Science" (1992)
• in: Baaz M. and Quirchmayr G.
  "Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)
• in: Iemhoff R.
  "A(nother) characterization of Intuitionistic Propositional Logic" (2001)

Approach

in: Baaz M. and Quirchmayr G.
"A Formal Model of Analogical Reasoning: a Logic Based Approach" (1991) 

Approximatig

in: Baaz M. and Zach R.
"Approximatig Propositional Calculi by Finite-valued Logics" (1994) 

Arch

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

Archive

• in: Baaz M. and Veith H.
  "Interpolation in Fuzzy Logic" (1999)
• in: Baaz M. and Zach R.
  "Note on Generalizing Theorems in Algebraically Closed Fields" (1998)
• in: Ciabattoni A.
  "A Proof-theoretical Investigation of Global Intuitionistic (Fuzzy) Logic" (2004)

Arithmetic

• in: Baaz M. and Pudlák P.
  "Kreisel's Conjecture for $L\exists$₁" (1993)
• in: Baaz M.
  "Note on the Existence of Most-general Semi-unifiers" (1993)
• in: Beckmann A., Buss S. R. and Pollett C.
  "Ordinal Notations and Well-Orderings in Bounded Arithmetic" (2003)
• in: Beckmann A.
  "Proving consistency of equational theories in bounded arithmetic" (2002)
• in: Beckmann A.
  "Preservation theorems and restricted consistency statements in bounded arithmetic" (2001)
• in: Iemhoff R.
  "A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001)

Arithmetical

• in: Hitchcock J. M., Lutz J. H. and Terwijn S. A.
  "The arithmetical complexity of dimension and randomness" (2003)
• in: Terwijn S. A. and Torenvliet L.
  "Arithmetical measure" (1998)

Artificial

in: Baaz M. and Quirchmayr G.
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993) 

Artificial-Intelligence-Tagung

• in: Baaz M.
  "An Effective Decision Algorithm for Propositional Temporal Logic" (1989)
• in: Baaz M.
  "Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987)
• in: Baaz M. and Leitsch A.
  "Eine Methode zur automatischen Problemreduktion" (1985)

As

in: Ciabattoni A. and Fermüller C.
"Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" (2001) 

Aspekte

in: Kuich W.
"Quantitative Aspekte bei Ableitungsbäumen" (1980) 

Asperti A.

• in: Asperti A. and Ciabattoni A.
  "A Sufficient Condition for Completability of Partial Combinatory Algebras" (1997)
• in: Asperti A. and Ciabattoni A.
  "Effective Applicative Structures" (1995)

Atomic

in: Baaz M. and Zach R.
"Introducing Atomic Cuts into Cut-free $$LK_B-Proofs" (1992) 

Auf

in: Baaz M.
"Die Anwendung der Methode der Sequenzialkalküle auf nichtklassische Logiken" (1984) 

Austria

• in: Preining N.
  "Complete Recursive Axiomatizability of Gödel Logics" (2003)
• in: Preining N.
  "Sketch-as-proof, a proof-theoretic analysis of axiomatic projective geometry" (1996)

Automata

• in: Kuich W.
  "Semirings and formal power series: their relevance to formal languages and automata" (1997)
• in: Kuich W.
  "The algebraic equivalent of AFL theory" (1995)
• in: Kuich W.
  "Automata and languages generalized to $\omega$-continuous semirings" (1991)
• in: Kuich W.
  "The Kleene and the Parikh theorem in complete semirings" (1987)
• in: Kuich W. and Salomaa A.
  "Semirings, automata, languages" (1986)
• in: Kuich W., Prodinger H. and Urbanek F. J.
  "On the height of derivation trees" (1979)

Automated

• in: Baaz M. and Fermüller C. G.
  "A translation characterizing the constructive content of classical theories" (2003)
• 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.
  "Proof Analysis by Resolution" (2002)
• in: Baaz M., Fermüller C. G. and Salzer G.
  "Automated Deduction for Many-Valued Logics" (2001)
• in: Baaz M., Fermüller C. G. and Salzer G.
  "Automated Deduction for Many-Valued Logics" (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., Egly U. and Leitsch A.
  "Normal Form Transformations" (2001)
• in: Baaz M., Fermüller C. G. and Veith H.
  "An Analytic Calculus for Quantified Propositional Gödel Logic" (2000)
• in: Baaz M. and Fermüller C. G.
  "Analytic Calculi for Projective Logics" (1999)
• in: Baaz M., Leitsch A. and Moser G.
  "System Description: CutRes 0.1: Cut Elimination by Resolution" (1999)
• in: Baaz M., Egly U. and Leitsch A.
  "Extension Methods in Automated Deduction" (1998)
• in: Baaz M., Egly U. and Leitsch A.
  "Extension Methods in Automated Deduction" (1998)
• in: Baaz M., Egly U. and Fermüller C. G.
  "Lean Induction Principles for Tableaux" (1997)
• in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
  "MUltlog 1.0: Towards an Expert System for Many-valued Logics" (1996)
• 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: Baaz M.
  "Automated Theorem Proving for Many-valued Logics (Algorithms)" (1990)
• in: Baaz M.
  "Automated Theorem Proving for Many-valued Logics (Theory)" (1990)
• in: Baaz M. and Leitsch A.
  "Strong Splitting Rules in Automated Theorem Proving" (1989)
• in: Baaz M. and Quirchmayr G.
  "Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)
• in: Baaz M. and Leitsch A.
  "Strong Inference in Automated Theorem Proving" (1986)
• in: Ciabattoni A. and Metcalfe G.
  " Bounded Lukasiewicz Logics" (2003)
• in: Ciabattoni A. and Ferrari M.
  "Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics" (2000)
• in: Ciabattoni A.
  "Bounded Contraction in Systems with Linearity" (1999)

Automatentheorie

in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991) 

Automatischen

• in: Baaz M. and Leitsch A.
  "Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985)
• in: Baaz M. and Leitsch A.
  "Eine Methode zur automatischen Problemreduktion" (1985)

Automatisches

• in: Baaz M.
  "Automatisches Beweisen für endlichwertige Logiken" (1992)
• in: Baaz M.
  "Automatisches Beweisen für endlichwertige Logiken" (1989)
• in: Baaz M.
  "Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987)

Axiom

in: Brunner N., Svozil K. and Baaz M.
"The Axiom of Choice in Quantum Theory" (1996) 

Axiomatic

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

Axiomatizability

in: Preining N.
"Complete Recursive Axiomatizability of Gödel Logics" (2003) 

Axiomatizable

in: Baaz M., Preining N. and Zach R.
"Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics" (2003) 

Axiomatization

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

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)