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

N

N

in: Ciabattoni A., Godo L. and Esteva F.
"T-norm based logics with $n$ -contraction" (2002)
in: Fermüller C. G. and Preining N.
"A dialogie game for Intuitionistic Fuzzy Logic based on comparison of degrees of truth" (2003)

Natural

in: Baaz M., Ciabattoni A. and Fermüller C. G.
"A Natural Deduction System for Intuitionistic Fuzzy Logic" (2001)
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.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1992)

Naturw

in: Baaz M. and Leitsch A.
"Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985)

Neis H.

in: Ambos-spies K., Neis H. and Terwijn S. A.
"Genericity and measure for exponential time" (1996)

Network

in: Ciabattoni A., Godo L. and Esteva F.
"T-norm based logics with $n$ -contraction" (2002)

Neural

in: Ciabattoni A., Godo L. and Esteva F.
"T-norm based logics with $n$ -contraction" (2002)

New

in: Baaz M. and Hörwein K.
"A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (1994)
in: Baaz M. and Quirchmayr G.
"Analogical Reasoning and Logic Based Knowledge Representation in Business Environments" (1993)
in: Kuich W.
"Generalized Lindenmayerian algebraic systems" (1997)

Nichtklassische

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

Niku-lari A.

in: Baaz M. and Quirchmayr G.
"Analogical Reasoning in Legal Expert Systems" (1992)

Nola A. D.

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

Non-Classical

in: Baaz M.
"The Application of Sequent Calculi to Non-Classical Logics" (1984)

Non-elementary

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 Leitsch A.
"A Non-elementary Speed-Up in Proof Length by Structural Clause Form Transforamation" (1994)

Non-well-founded

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

Nonexpansive

in: Baron G. and Kuich W.
"The characterization of nonexpansive grammars by rational power series" (1981)

Nonstandard

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

Normal

in: Baaz M., Egly U. and Leitsch A.
"Normal Form Transformations" (2001)
in: Baaz M. and Leitsch A.
"Cut Normal Forms and Proof Complexity" (1999)

North-Holland

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

Notations

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

Note

in: Baaz M.
"Note on a Translation of Charactize Constructivity" (2003)
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.
"Note on Generalization of Calculations" (1999)
in: Baaz M. and Zach R.
"Note on Generalizing Theorems in Algebraically Closed Fields" (1998)
in: Baaz M.
"Note on the Existence of Most-general Semi-unifiers" (1993)
in: Baaz M. and Zach R.
"Note on Calculi for a Three-Valued Logic for Logic Programming" (1992)
in: Beckmann A.
"A note on universal measures for weak implicit computational complexity" (2002)

Nother

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

Notre

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

Nuovo

in: Brunner N., Svozil K. and Baaz M.
"Effective quantum observables" (1995)