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

V

Vázqez M.

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

Valued

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)

Ve

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

Veith H.

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. and Veith H.
"An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule" (1999)
in: Baaz M. and Veith H.
"Interpolation in Fuzzy Logic" (1999)
in: Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
"On the Undecidability of Some Sub-classical First-order Logics" (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., Hájek P., Montagna F. and Veith H.
"Complexity of t-Tautologies."

Venice

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

Version

in: Baaz M. and Zach R.
"First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version" (1993)

Versions

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

Via

in: Aguzzoli S., Ciabattoni A. and Nola A. D.
"Sequent calculi for finite-valued Lukasiewicz logics via boolean decompositions" (2000)
in: Fermüller C. G. and Ciabattoni A.
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003)

Vienna

in: Hitchcock J. M., Lutz J. H. and Terwijn S. A.
"The arithmetical complexity of dimension and randomness" (2003)
in: Kuich W.
"Halbringe und ihre Anwendungen in der Automatentheorie" (1991)
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)

View

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

Views

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

Visser

in: Iemhoff R.
"Review of: Submodels of Kripke Models, by A. Visser" (2002)

Vol

in: Kuich W.
"Semirings and formal power series: their relevance to formal languages and automata" (1997)

Vollständigkeitsbeweis

in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002)

Vollständigkeitsproblem

in: Baaz M. and Zach R.
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002)

Von

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

Voronkov A.

in: Baaz M.
"Proof Analysis by Resolution" (2002)
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: Beckmann A.
"A note on universal measures for weak implicit computational complexity" (2002)
in: Preining N.
"Gödel logics and Cantor-Bendixon Analysis" (2002)