"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003)
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)
"Computably enumerable reals and uniformly presentable ideals" (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.
"The Scheme of Identity: a Computational Point of View" (1993)
- 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., 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., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1993) - in: Ciabattoni A. and Fermüller C.
"Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" (2001) - in: Ciabattoni A.
"On Urquhart's C logic" (2000) - in: Fermüller C. G. and Ciabattoni A.
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003)
- in: Iemhoff R.
"Preservativity logic (An analogue of interpretability logic for constructive theories)" (2003) - in: Iemhoff R.
"Towards a proof system for admissibility" (2003) - in: Iemhoff R.
"Review of: Submodels of Kripke Models, by A. Visser" (2002) - in: Iemhoff R.
"A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001) - in: Iemhoff R.
"A(nother) characterization of Intuitionistic Propositional Logic" (2001) - in: Iemhoff R.
"On the admissible rules of Intuitionistic Propositional Logic" (2001) - in: Iemhoff R.
"Provability Logic and Admissible Rules" (2001)
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991)
- in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965) - in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965)
"Analogical Reasoning in Legal Expert Systems" (1992)
"A Guide to Quantified Propositional Gödel Logic" (2001)
"A Resolution principle for Quantificational with an Application to Knowledge Representation" (1993)
"Effective quantum observables" (1995)
- in: Beckmann A.
"A note on universal measures for weak implicit computational complexity" (2002) - in: Beckmann A.
"Dynamic ordinals -- universal measures for implicit computational complexity" (2002)
- 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)
"A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (1994)
"Lean Induction Principles for Tableaux" (1997)
- in: Baaz M. and Leitsch A.
"Strong Inference in Automated Theorem Proving" (1986) - 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)
- in: Aguzzoli S. and Ciabattoni A.
" Finiteness of infinite-valued Lukasiewicz logic" (2000) - in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996)
- in: Baaz M., Fermüller C. G. and Zach R.
"Elimination of Cuts in First-order Finite-valued Logics" (1994) - in: Baaz M. and Leitsch A.
"On Skolemization and Proof Complexity" (1994) - in: Baron G. and Kuich W.
"The characterization of nonexpansive grammars by rational power series" (1981) - in: Honkala J. and Kuich W.
"On a power series generalization of ETL languages" (1996) - in: Jain S., Stephan F. and Terwijn S. A.
"Counting extensional differences in BC-learning" - in: Kuich W.
"Representations and complete semiring morphisms" (1995) - in: Kuich W.
"Hauptkegel algebraischer Potenzreihen" (1987) - in: Kuich W.
"The characterization of parallel ultralinear grammars by rational power series" (1981) - in: Kuich W.
"Generating functions for derivation trees" (1980) - in: Stephan F. and Terwijn S. A.
"The complexity of universal text-learners" (1999)
"Analytic Calculi for Monoidal T-norm Based Logic" (2004)
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988)
- in: Aguzzoli S. and Ciabattoni A.
" Finiteness of infinite-valued Lukasiewicz logic" (2000) - in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
"A Many-Valued Logic for Default Reasoning" (1993) - in: Baaz M., Kastner F. and Quirchmayr G.
"A Formal Model of Managerial Decision Making" (1991) - 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 Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988) - in: Kuich W. and Shyamasundar R. K.
"The structure generating function of some families of languages" (1976) - in: Kuich W.
"The complexity of skewlinear tuple languages and -regular languages" (1971) - in: Kuich W. and Maurer H.
"The structure generating function and entropy of tuple languages" (1971) - in: Kuich W.
"On the entropy of context-free languages" (1970)
"Zur Theorie algebraischer Systeme" (1981)
"Systems of pushdown acceptors and context-free grammars" (1970)
- in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs" (1995) - in: Baaz M. and Zach R.
"First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version" (1993) - in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report" (1993) - in: Baaz M. and Zach R.
"Introducing Atomic Cuts into Cut-free -Proofs" (1992) - in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1992) - in: Preining N.
"Proof theory and proof systems for projective and affine geometry" (2002)
- in: Baaz M.
"Note on a Translation of Charactize Constructivity" (2003) - 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.
"Quantifier elimination for heterogeneous quantifiers" (1987) - in: Baaz M. and Leitsch A.
"Strong Inference in Automated Theorem Proving" (1986) - in: Baaz M. and Leitsch A.
"Eine Methode zur Reduktion des Syntheseproblems" (1984)
- in: Baaz M.
"Proof Analysis by Resolution" (2002) - in: Baaz M., Leitsch A. and Moser G.
"System Description: CutRes 0.1: Cut Elimination by Resolution" (1999) - in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) - 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. and Fermüller C. G.
"Non-elementary Speedups between Different Versions of Tableaux" (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., 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., 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.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (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: Baaz M.
"Gödel's Justification of His Completeness Theorem" (1983)
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)
- in: Ciabattoni A. and Ferrari M.
"Hypersequent calculi for some intermediate logics with bounded Kripke models" (2001) - in: Ciabattoni A. and Ferrari M.
"Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics" (2000)
- 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. 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) - in: Baaz M. and Quirchmayr G.
"Analogical Reasoning in Legal Expert Systems" (1992) - in: Baaz M. and Quirchmayr G.
"A Logic Based Model of Legal Decision Making" (1990) - 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) - in: Ciabattoni A. and Fermüller C.
"Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" (2001) - in: Ciabattoni A.
"On Urquhart's C logic" (2000) - in: Fermüller C. G. and Ciabattoni A.
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003) - in: Hitchcock J. M., Lutz J. H. and Terwijn S. A.
"The arithmetical complexity of dimension and randomness" (2003)
"Interpretations of Combinatory Algebras" (1993)
"Interpolation in Fuzzy Logic" (1999)
"Preservativity logic (An analogue of interpretability logic for constructive theories)" (2003)
"Interpretations of Combinatory Algebras" (1993)
- in: Baaz M., Hájek P., Krajiecek J. and Svejda D.
"Embedding Logics into Product Logic" (1998) - in: Baaz M. and Zach R.
"Introducing Atomic Cuts into Cut-free -Proofs" (1992)
- in: Baaz M. and Leitsch A.
"Complexity of Resolution Proofs and Function Introduction" (1992) - in: Baaz M. and Leitsch A.
"A Strong Problem Reduction Method Based on Function Introduction" (1990)
- in: Baaz M., Ciabattoni A. and Fermüller C. G.
"A Natural Deduction System for Intuitionistic Fuzzy Logic" (2001) - in: Baaz M. and Zach R.
"Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic" (2000) - in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) - in: Baaz M. and Fermüller C. G.
"Intuitionistic Counterparts of Finitely-valued Logics" (1996) - in: Ciabattoni A.
"A Proof-theoretical Investigation of Global Intuitionistic (Fuzzy) Logic" (2004) - 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: Iemhoff R.
"A(nother) characterization of Intuitionistic Propositional Logic" (2001) - in: Iemhoff R.
"On the admissible rules of Intuitionistic Propositional Logic" (2001)
"A Proof-theoretical Investigation of Global Intuitionistic (Fuzzy) Logic" (2004)
"A Many-Valued Logic for Default Reasoning" (1993)
- 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.
"Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic" (2001) - in: Ciabattoni A. and Fermüller C.
"Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" (2001) - in: Ciabattoni A.
"On Urquhart's C logic" (2000)
"A Strong Problem Reduction Method Based on Function Introduction" (1990)
"Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving" (2001)
