M

Main

in: Baaz M.
"Generalization of Proofs and Term Complexity" (1994) 

Makowsky A.

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

Management

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

Managerial

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

Many-valued

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

Many-Valued

in: Baaz M., Fermüller C. G. and Salzer G.
"Automated Deduction for Many-Valued Logics" (2001) 

Many-valued

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

Many-Valued

• in: Baaz M. and Fermüller C. G.
  "Resolution-Based Theorem Proving for Many-Valued Logics" (1995)
• in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
  "A Many-Valued Logic for Default Reasoning" (1993)

Many-valued

• in: Baaz M., Fermüller C. G. and Zach R.
  "Dual Systems of Sequents and Tableaux for Many-valued Logics" (1993)
• in: Baaz M., Fermüller C. G., Ovrutcki A. and Zach R.
  "MULTLOG: A System for Axiomatizing Many-valued Logics" (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., Fermüller C. G. and Zach R.
  "Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report" (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 Fermüller C. G.
  "Resolution for Many-valued Logics" (1992)
• in: Baaz M., Fermüller C. G. and Zach R.
  "Systematic Construction of Natural Deduction Systems 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)

Marík V.

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

Markov

in: Terwijn S. A.
"On the Learnability of Hidden Markov Models" (2002) 

Married

in: Baaz M., Fermüller C. G., Gil A. J., Preining N. and Salzer G.
"MUltlog and MUltseq Reanimated and Married" (2003) 

Marseille

in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992) 

Martini S.

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

Matematico

in: Terwijn S. A.
"Complexity and randomness" 

Math

• in: Baaz M. and Preining N.
  "Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $\omega$" (2004)
• in: Baaz M. and Zach R.
  "Compact Propositional Gödel Logic" (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. and Pudlák P.
  "Kreisel's Conjecture for $L\exists$₁" (1993)
• in: Baaz M.
  "Automatisches Beweisen für endlichwertige Logiken" (1992)
• in: Baaz M. and Zach R.
  "Introducing Atomic Cuts into Cut-free $$LK_B-Proofs" (1992)
• in: Baaz M.
  "Kripke-Type Semantics for Da Costa's Paraconsistent Logic $C$_ω" (1986)
• in: Baaz M. and Leitsch A.
  "Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985)
• 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)
• in: Beckmann A.
  "Exact bounds for lengths of reductions in typed $\lambda$-calculus" (2001)
• in: Ciabattoni A., Godo L. and Esteva F.
  "T-norm based logics with $n$-contraction" (2002)
• in: Downey R. and Terwijn S. A.
  "Computably enumerable reals and uniformly presentable ideals" (2002)
• in: Hlawka E. and Kuich W.
  "Geordnete Schätzfunktionen und Diskrepanz. II" (1965)
• in: Kuich W.
  "Cones and abstract families of elements" (1997)
• in: Kuich W.
  "Automata and languages generalized to $\omega$-continuous semirings" (1991)
• in: Kuich W.
  "The complexity of skewlinear tuple languages and $o$-regular languages" (1971)
• in: Preining N.
  "Sketch-as-Proof" (1997)
• in: Terwijn S. A.
  "On the quantitative structure of $\Delta$₂" (2001)
• in: Terwijn S. A. and Torenvliet L.
  "Arithmetical measure" (1998)

Mathematical

• 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: Brunner N., Svozil K. and Baaz M.
  "The Axiom of Choice in Quantum Theory" (1996)
• in: Ciabattoni A.
  "A Proof-theoretical Investigation of Global Intuitionistic (Fuzzy) Logic" (2004)
• in: Iemhoff R.
  "Preservativity logic (An analogue of interpretability logic for constructive theories)" (2003)
• 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)

Mathematics

• in: Baaz M.
  "Note on a Translation of Charactize Constructivity" (2003)
• in: Baaz M.
  "Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996)

Mathematik

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

Mathit

in: Preining N.
"Sketch-as-Proof" (1997) 

Maurer H.

in: Kuich W. and Maurer H.
"The structure generating function and entropy of tuple languages" (1971) 

McGraw-Hill

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

Measure

• 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: Terwijn S. A. and Torenvliet L.
  "Arithmetical measure" (1998)
• in: Terwijn S. A.
  "Computability and measure" (1998)

Measures

• 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: Christensen J., Kanovei V., Terwijn S. A. and Zambella D.
  "On the complexity of finitely additive measures" (1997)

Mehrwertige

in: Baaz M. and Quirchmayr G.
"Juridische Schlüsse und mehrwertige Logik" (1988) 

Meinke K.

in: Baaz M. and Zach R.
"Short Proofs of Tautologies Using the Schema of Equivalence" (1994) 

Merkle W.

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

Metcalfe G.

in: Ciabattoni A. and Metcalfe G.
" Bounded Lukasiewicz Logics" (2003) 

Method

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

Methode

• in: Baaz M. and Leitsch A.
  "Eine Methode zur automatischen Problemreduktion" (1985)
• in: Baaz M.
  "Die Anwendung der Methode der Sequenzialkalküle auf nichtklassische Logiken" (1984)
• in: Baaz M. and Leitsch A.
  "Eine Methode zur Reduktion des Syntheseproblems" (1984)

Methodology

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

Methods

• 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. and Leitsch A.
  "Comparing the Complexity of Cut-Elimination Methods" (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., 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. and Fermüller C. G.
  "Combining Many-valued and Intuitionistic Tableaux" (1996)
• in: Baaz M. and Leitsch A.
  "Methods of Functional Extensions" (1995)
• 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 Zach R.
  "Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992)
• 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)

MFCS

in: Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
"Proof theory of fuzzy logic:Urquhart's C and related logics" (1998) 

Middle

in: Ciabattoni A., Gabbay D. and Olivetti N.
"Cut-free Proof Systems for Logics of Weak Excluded Middle" (1998) 

Miglioli P.

in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) 

Mitt

in: Baaz M.
"Automatisches Beweisen für endlichwertige Logiken" (1992) 

MLQ

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

Modal

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

Model

• 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., Kastner F. and Quirchmayr G.
  "A Formal Model of Managerial Decision Making" (1991)
• in: Baaz M. and Quirchmayr G.
  "A Logic Based Model of Legal Decision Making" (1990)

Models

• in: Baaz M. and Quirchmayr G.
  "Logic-Based Models of Analogical Reasoning" (1992)
• 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: Ciabattoni A. and Ferrari M.
  "Hypersequent calculi for some intermediate logics with bounded Kripke models" (2001)
• in: Iemhoff R.
  "Review of: Submodels of Kripke Models, by A. Visser" (2002)
• in: Terwijn S. A.
  "On the Learnability of Hidden Markov Models" (2002)

Monoidal

in: Baaz M., Ciabattoni A. and Montagna F.
"Analytic Calculi for Monoidal T-norm Based Logic" (2004) 

Montagna F.

• in: Baaz M., Ciabattoni A. and Montagna F.
  "Analytic Calculi for Monoidal T-norm Based Logic" (2004)
• in: Baaz M., Hájek P., Montagna F. and Veith H.
  "Complexity of t-Tautologies."

Morphisms

in: Kuich W.
"Representations and complete semiring morphisms" (1995) 

Moscato U.

in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) 

Moser G.

• in: Baaz M. and Moser G.
  "On generalizations of semi-terms of particularly simple form" (2002)
• in: Baaz M. and Moser G.
  "On a generalisation of Herbrand's theorm" (2001)
• in: Baaz M., Leitsch A. and Moser G.
  "System Description: CutRes 0.1: Cut Elimination by Resolution" (1999)

Moshe Y. vardi A. V.

in: Baaz M. and Fermüller C. G.
"A translation characterizing the constructive content of classical theories" (2003) 

Most-general

in: Baaz M.
"Note on the Existence of Most-general Semi-unifiers" (1993) 

MPI

in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992) 

MTL

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

Multiple

• in: Baaz M. and Zach R.
  "Compact Propositional Gödel Logic" (1998)
• in: Baaz M. and Quirchmayr G.
  "The Application of Multiple Valued Logic in Supporting Legal Decision Making" (1987)
• 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)

Multiple-Valued

• 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.
  "Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic" (2001)

Multiple-valued

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

Multiple-Valued

• in: Baaz M. and Quirchmayr G.
  "Models of Civil Procedures Based on Multiple-Valued Logic" (1988)
• in: Baaz M. and Quirchmayr G.
  "The Application of Multiple Valued Logic in Supporting Legal Decision Making" (1987)
• in: Fermüller C. G. and Ciabattoni A.
  "From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003)

Multiplicity

in: Kuich W.
"On the multiplicity equivalence problem for context-free grammars" (1994) 

MUltlog

• 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., Fermüller C. G., Salzer G. and Zach R.
  "MUltlog 1.0: Towards an Expert System for Many-valued Logics" (1996)

MULTLOG

in: Baaz M., Fermüller C. G., Ovrutcki A. and Zach R.
"MULTLOG: A System for Axiomatizing Many-valued Logics" (1993) 

MUltseq

in: Baaz M., Fermüller C. G., Gil A. J., Preining N. and Salzer G.
"MUltlog and MUltseq Reanimated and Married" (2003) 

Mundici D.

• in: Baaz M. and Fermüller C. G.
  "Combining Many-valued and Intuitionistic Tableaux" (1996)
• in: Preining N.
  "Sketch-as-Proof" (1997)

Murray N.

in: Baaz M. and Fermüller C. G.
"Analytic Calculi for Projective Logics" (1999) 

Submit a bug

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