F

F

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

Für

• 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.
  "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., Fermüller C. G. and Zach R.
  "Systematic Construction of Natural Deduction Systems for Many-valued Logics" (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)

Families

• in: Ciabattoni A. and Ferrari M.
  "Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics" (2000)
• 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)
• in: Kuich W. and Shyamasundar R. K.
  "The structure generating function of some families of languages" (1976)

Fast

in: Baaz M. and Leitsch A.
"Fast Cut-Elimination by Projection" (1997) 

Fermüller C. G.

• in: Baaz M. and Fermüller C. G.
  "A translation characterizing the constructive content of classical theories" (2003)
• 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., Ciabattoni A. and Fermüller C. G.
  "Sequent of relations calculi: A framework for analytic deduction in many-valued logics" (2003)

Fermüller C.

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

Fermüller C. G.

• in: Baaz M., Ciabattoni A. and Fermüller C. G.
  "A Natural Deduction System for Intuitionistic Fuzzy Logic" (2001)
• 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., Fermüller C. G. and Salzer G.
  "Automated Deduction for Many-Valued Logics" (2001)
• 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., 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., 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., Ciabattoni A., Fermüller C. G. and Veith H.
  "On the Undecidability of Some Sub-classical First-order Logics" (1999)
• in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
  "Labeled Calculi and Finite-valued Logics" (1998)
• 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., 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.
  "Intuitionistic Counterparts of Finitely-valued Logics" (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 Zach R.
  "Proof theory of finite-valued logics (Abstract)" (1995)
• in: Baaz M. and Fermüller C. G.
  "Resolution-Based Theorem Proving for Many-Valued Logics" (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. 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 Zach R.
  "Elimination of Cuts in First-order Finite-valued Logics" (1994)
• in: Baaz M., Fermüller C. G., Quirchmayr G. and Zach R.
  "A Many-Valued Logic for Default Reasoning" (1993)
• in: Baaz M. and Fermüller C. G.
  "A Resolution principle for Quantificational $S5$ with an Application to Knowledge Representation" (1993)
• 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)

Fermüller C.

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

Fermüller C. G.

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

Ferrari M.

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

Fields

• in: Baaz M. and Zach R.
  "Note on Generalizing Theorems in Algebraically Closed Fields" (1998)
• in: Baaz M. and Zach R.
  "Generalizing Theorems in Real Closed Fields" (1995)
• in: Baaz M. and Zach R.
  "Generalizing theorems in real closed fields (Abstract)" (1995)

Finite-valued

• in: Aguzzoli S., Ciabattoni A. and Nola A. D.
  "Sequent calculi for finite-valued Lukasiewicz logics via boolean decompositions" (2000)
• in: Baaz M., Fermüller C. G., Salzer G. and Zach R.
  "Labeled Calculi and Finite-valued Logics" (1998)
• in: Baaz M., Fermüller C. G. and Zach R.
  "Proof theory of finite-valued logics (Abstract)" (1995)

Finite-Valued

in: Baaz M., Fermüller C. G. and Salzer G.
"Systematic Construction of Calculi for Finite-Valued First-Order Logics" (1995) 

Finite-valued

• in: Baaz M. and Zach R.
  "Approximatig Propositional Calculi by Finite-valued Logics" (1994)
• in: Baaz M., Fermüller C. G. and Zach R.
  "Elimination of Cuts in First-order Finite-valued Logics" (1994)

Finitely

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

Finitely-valued

in: Baaz M. and Fermüller C. G.
"Intuitionistic Counterparts of Finitely-valued Logics" (1996) 

Finiteness

in: Aguzzoli S. and Ciabattoni A.
" Finiteness of infinite-valued Lukasiewicz logic" (2000) 

First-Order

• in: Baaz M., Preining N. and Zach R.
  "Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics" (2003)
• in: Baaz M. and Ciabattoni A.
  "A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic" (2002)

First-order

• 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., Leitsch A. and Zach R.
  "Completeness of a First-order Temporal Logic with Time-Gaps" (1996)
• in: Baaz M., Leitsch A. and Zach R.
  "Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" (1996)

First-Order

• 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., Fermüller C. G. and Salzer G.
  "Systematic Construction of Calculi for Finite-Valued First-Order Logics" (1995)

First-order

• in: Baaz M., Fermüller C. G. and Zach R.
  "Elimination of Cuts in First-order Finite-valued Logics" (1994)
• in: Baaz M. and Zach R.
  "First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version" (1993)

Fitting M.

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

Font

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

Form

• in: Baaz M. and Moser G.
  "On generalizations of semi-terms of particularly simple form" (2002)
• in: Baaz M., Egly U. and Leitsch A.
  "Normal Form Transformations" (2001)
• in: Baaz M. and Salzer G.
  "Semi-Unification and Generalizations of a Particularly Simple Form" (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)

Formal

• 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.
  "Kripke-Type Semantics for Da Costa's Paraconsistent Logic $C$_ω" (1986)
• in: Kuich W.
  "Generalized Lindenmayerian algebraic systems" (1997)
• in: Kuich W.
  "Semirings and formal power series: their relevance to formal languages and automata" (1997)
• in: Kuich W.
  "Semirings and formal power series: their relevance to formal languages and automata" (1997)

Forms

in: Baaz M. and Leitsch A.
"Cut Normal Forms and Proof Complexity" (1999) 

Foundations

• 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.
  "Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996)
• 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)

Founded

in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $\omega$" (2004) 

Four

in: Honkala J. and Kuich W.
"On four classes of Lindenmayerian power series" (1995) 

Fragments

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

Frame

in: Baaz M. and Hörwein K.
"A New Frame for Common-Sense Reasoning---Towards Local Inconsistencies" (1994) 

Frames

in: Baaz M. and Preining N.
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type $\omega$" (2004) 

Framework

• 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: Ciabattoni A. and Fermüller C.
  "Hypersequents as a uniform framework for Urquhart's C, MTL and related logics" (2001)

From

• in: Baaz M. and Preining N.
  "Herbrand Disjunctions and Extraction of Proofs from Sketches" (2004)
• in: Baaz M. and Zach R.
  "Algorithmic Structuring of Cut-free Proofs" (1993)
• in: Fermüller C. G. and Ciabattoni A.
  "From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003)

FST&TCS

in: Baaz M., Ciabattoni A., Fermüller C. G. and Veith H.
"On the Undecidability of Some Sub-classical First-order Logics" (1999) 

FTP

in: Baaz M. and Leitsch A.
"Cut elimination by resolution" (1997) 

Function

• 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: Kuich W. and Shyamasundar R. K.
  "The structure generating function of some families of languages" (1976)
• in: Kuich W. and Maurer H.
  "The structure generating function and entropy of tuple languages" (1971)

Functional

in: Baaz M. and Leitsch A.
"Methods of Functional Extensions" (1995) 

Functions

in: Kuich W.
"Generating functions for derivation trees" (1980) 

Fund

• in: Baaz M. and Leitsch A.
  "On Skolemization and Proof Complexity" (1994)
• in: Honkala J. and Kuich W.
  "On a power series generalization of ETL languages" (1996)

Fundamenta

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

Fundamentals

in: Stephan F. C. and Terwijn S. A.
"The complexity of universal text-learners" (1997) 

Fuzzy

• in: Baaz M., Ciabattoni A. and Fermüller C. G.
  "A Natural Deduction System for Intuitionistic Fuzzy Logic" (2001)
• 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 Veith H.
  "Interpolation in Fuzzy Logic" (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: 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)

Submit a bug

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