- Canonical Calculi: Invertibility, Axiom expansion and (Non)-determinism
- Cut-Elimination in a Sequents-of-Relations Calculus for Godel Logic Matthias Baaz, Agata Ciabattoni Christian G. Fermuller
- First-order satisfiability in Gdel logics: an NP-complete Matthias Baaza,1
- On the (fuzzy) logical content of CADIAG-2 Agata Ciabattoni
- Density Elimination1 Agata Ciabattoni
- Under consideration for publication in Math. Struct. in Comp. Science Towards an Algorithmic Construction of
- Agata Ciabattoni Kazushige Terui
- Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
- Hypersequent Calculi for Godel Logics --a Survey Matthias Baaz1
- Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
- On the Classical Content of Monadic G and its Application to a Fuzzy Medical
- SAT in Monadic Godel Logics: a borderline between decidability and undecidability
- Cut elimination for first order Godel logic by hyperclause resolution
- From axioms to analytic rules in nonclassical logics Agata Ciabattoni
- Monadic Fragments of Godel Logics: Decidability and Undecidability Results
- Density Elimination and Rational Completeness for First-Order Logics
- Uniform Rules and Dialogue Games for Fuzzy Logics A. Ciabattoni, C.G. Fermuller, and G. Metcalfe
- Tnorm based logics with ncontraction # Agata Ciabattoni Francesc Esteva Llus Godo
- Automated Generation of Analytic Calculi for Logics with Linearity
- Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics
- From Intuitionistic Logic to Godel-Dummett Logic via Parallel Dialogue Games
- Effective Applicative Structures Andrea Asperti and Agata Ciabattoni
- Expanding the realm of systematic proof theory Agata Ciabattoni1
- Hypersequent Calculi for Godel Logics ---a Survey Matthias Baaz 1 , Agata Ciabattoni 1# and Christian G. Fermuller 2
- Quanti ed Propositional Godel Logics ? Matthias Baaz 1 , Agata Ciabattoni 1;?? , and Richard Zach 2
- Automated Generation of Analytic Calculi for Logics with Linearity
- Uniform Rules and Dialogue Games for Fuzzy Logics # A. Ciabattoni, C.G. Fermuller, and G. Metcalfe
- MacNeille Completions of FL-algebras Agata Ciabattoni, Nikolaos Galatos, and Kazushige Terui
- On Urquhart's C Logic Agata Ciabattoni
- Modular Cut-Elimination: Finding Proofs or Counterexamples
- On Completability of Partial Combinatory Algebras
- A correction to our paper "Towards a Semantic Characterization of
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- A Natural Deduction System for Intuitionistic Fuzzy Logic
- On the Undecidability of Some Sub-classical First-order Logics ?
- CutElimination in a SequentsofRelations Calculus for G odel Logic Matthias Baaz, Agata Ciabattoni y Christian G. Fermuller
- Herbrand's Theorem for Prenex Godel Logic and its Consequences for Theorem Proving
- Finiteness in in nite-valued Lukasiewicz logic
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Fundamenta Informaticae XX (2004) 1--18 1 Analytic Calculi for Monoidal Tnorm Based Logic
- THEOREM PROVING FOR PRENEX GODEL LOGIC WITH : CHECKING VALIDITY AND UNSATISFIABILITY
