 | 2009 |
|---|
| 40 |       | Agata Ciabattoni,
Lutz Straßburger,
Kazushige Terui:
Expanding the Realm of Systematic Proof Theory.
CSL 2009: 163-178 |
| 39 | | Arnon Avron,
Agata Ciabattoni,
Anna Zamansky:
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.
CSR 2009: 26-37 |
| 38 | | Agata Ciabattoni,
Thomas Vetterlein,
Klaus-Peter Adlassnig:
A Formal Logical Framework for Cadiag-2.
MIE 2009: 648-652 |
| 37 | | Matthias Baaz,
Agata Ciabattoni,
Norbert Preining:
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability.
WoLLIC 2009: 113-123 |
| 2008 |
|---|
| 36 | | Agata Ciabattoni,
Nikolaos Galatos,
Kazushige Terui:
From Axioms to Analytic Rules in Nonclassical Logics.
LICS 2008: 229-240 |
| 35 | | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.
LPAR 2008: 451-466 |
| 34 | | Agata Ciabattoni,
Alexander Leitsch:
Towards an algorithmic construction of cut-elimination procedures.
Mathematical Structures in Computer Science 18(1): 81-105 (2008) |
| 33 | | Agata Ciabattoni,
George Metcalfe:
Density elimination.
Theor. Comput. Sci. 403(2-3): 328-346 (2008) |
| 2007 |
|---|
| 32 |  | Stefano Aguzzoli,
Agata Ciabattoni,
Brunella Gerla,
Corrado Manara,
Vincenzo Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Springer 2007 |
| 31 | | Agata Ciabattoni,
George Metcalfe:
Density Elimination and Rational Completeness for First-Order Logics.
LFCS 2007: 132-146 |
| 30 | | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.
LPAR 2007: 77-91 |
| 2006 |
|---|
| 29 | | Agata Ciabattoni,
Kazushige Terui:
Modular Cut-Elimination: Finding Proofs or Counterexamples.
LPAR 2006: 135-149 |
| 28 | | Marco Aiello,
Florian Rosenberg,
Christian Platzer,
Agata Ciabattoni,
Schahram Dustdar:
Service QoS Composition at the Level of Part Names.
WS-FM 2006: 24-37 |
| 27 | | Agata Ciabattoni,
Kazushige Terui:
Towards a Semantic Characterization of Cut-Elimination.
Studia Logica 82(1): 95-119 (2006) |
| 2005 |
|---|
| 26 | | Agata Ciabattoni:
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.
Arch. Math. Log. 44(4): 435-457 (2005) |
| 25 | | Matthias Baaz,
Agata Ciabattoni,
Dov M. Gabbay,
Petr Hájek:
Editorial.
Logic Journal of the IGPL 13(4): 363 (2005) |
| 24 | | Matthias Baaz,
Agata Ciabattoni,
Dov M. Gabbay,
Petr Hájek:
Editorial.
Logic Journal of the IGPL 13(5): 491 (2005) |
| 2004 |
|---|
| 23 | | Agata Ciabattoni:
Automated Generation of Analytic Calculi for Logics with Linearity.
CSL 2004: 503-517 |
| 22 | | Agata Ciabattoni,
Christian G. Fermüller,
George Metcalfe:
Uniform Rules and Dialogue Games for Fuzzy Logics.
LPAR 2004: 496-510 |
| 21 | | Matthias Baaz,
Agata Ciabattoni,
Franco Montagna:
Analytic Calculi for Monoidal T-norm Based Logic.
Fundam. Inform. 59(4): 315-332 (2004) |
| 2003 |
|---|
| 20 | | Christian G. Fermüller,
Agata Ciabattoni:
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.
ISMVL 2003: 188- |
| 19 | | Agata Ciabattoni,
George Metcalfe:
Bounded Lukasiewicz Logics.
TABLEAUX 2003: 32-47 |
| 18 | | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Hypersequent Calculi for Gödel Logics - a Survey.
J. Log. Comput. 13(6): 835-861 (2003) |
| 2002 |
|---|
| 17 | | Matthias Baaz,
Agata Ciabattoni:
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic.
TABLEAUX 2002: 24-37 |
| 2001 |
|---|
| 16 | | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.
ISMVL 2001: 181-186 |
| 15 | | Agata Ciabattoni,
Christian G. Fermüller:
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.
ISMVL 2001: 227-232 |
| 14 | | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving.
LPAR 2001: 201-215 |
| 13 | | Agata Ciabattoni:
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models.
J. Log. Comput. 11(2): 283-294 (2001) |
| 2000 |
|---|
| 12 | | Agata Ciabattoni:
On Urquhart's C Logic.
ISMVL 2000: 113- |
| 11 | | Matthias Baaz,
Agata Ciabattoni,
Richard Zach:
Quantified Propositional Gödel Logics.
LPAR 2000: 240-256 |
| 10 | | Agata Ciabattoni,
Mauro Ferrari:
Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics.
TABLEAUX 2000: 160-174 |
| 9 | | Stefano Aguzzoli,
Agata Ciabattoni,
Antonio di Nola:
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.
J. Log. Comput. 10(2): 213-222 (2000) |
| 8 | | Stefano Aguzzoli,
Agata Ciabattoni:
Finiteness in Infinite-Valued Lukasiewicz Logic.
Journal of Logic, Language and Information 9(1): 5-29 (2000) |
| 1999 |
|---|
| 7 | | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller,
Helmut Veith:
On the Undecidability of some Sub-Classical First-Order Logics.
FSTTCS 1999: 258-268 |
| 6 | | Agata Ciabattoni:
Bounded Contraction in Systems with Linearity.
TABLEAUX 1999: 113-127 |
| 1998 |
|---|
| 5 | | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller,
Helmut Veith:
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.
MFCS 1998: 203-212 |
| 4 | | Agata Ciabattoni,
Dov M. Gabbay,
Nicola Olivetti:
Cut-free proof systems for logics of weak excluded middle.
Soft Comput. 2(4): 147-156 (1998) |
| 1997 |
|---|
| 3 | | Agata Ciabattoni,
Duccio Luchi:
Two Connections Between Linear Logic and Lukasiewicz Logics.
Kurt Gödel Colloquium 1997: 128-139 |
| 2 | | Andrea Asperti,
Agata Ciabattoni:
A Sufficient Condition for Completability of Partial Combinatory Algebras.
J. Symb. Log. 62(4): 1209-1214 (1997) |
| 1995 |
|---|
| 1 | | Andrea Asperti,
Agata Ciabattoni:
Effective Applicative Structures.
Category Theory and Computer Science 1995: 81-95 |
