2008 |
36 | EE | Agata Ciabattoni,
Nikolaos Galatos,
Kazushige Terui:
From Axioms to Analytic Rules in Nonclassical Logics.
LICS 2008: 229-240 |
35 | EE | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.
LPAR 2008: 451-466 |
34 | EE | Agata Ciabattoni,
Alexander Leitsch:
Towards an algorithmic construction of cut-elimination procedures.
Mathematical Structures in Computer Science 18(1): 81-105 (2008) |
33 | EE | 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 | EE | Agata Ciabattoni,
George Metcalfe:
Density Elimination and Rational Completeness for First-Order Logics.
LFCS 2007: 132-146 |
30 | EE | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.
LPAR 2007: 77-91 |
2006 |
29 | EE | Agata Ciabattoni,
Kazushige Terui:
Modular Cut-Elimination: Finding Proofs or Counterexamples.
LPAR 2006: 135-149 |
28 | EE | 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 | EE | Agata Ciabattoni,
Kazushige Terui:
Towards a Semantic Characterization of Cut-Elimination.
Studia Logica 82(1): 95-119 (2006) |
2005 |
26 | EE | Agata Ciabattoni:
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.
Arch. Math. Log. 44(4): 435-457 (2005) |
25 | EE | Matthias Baaz,
Agata Ciabattoni,
Dov M. Gabbay,
Petr Hájek:
Editorial.
Logic Journal of the IGPL 13(4): 363 (2005) |
24 | EE | Matthias Baaz,
Agata Ciabattoni,
Dov M. Gabbay,
Petr Hájek:
Editorial.
Logic Journal of the IGPL 13(5): 491 (2005) |
2004 |
23 | EE | Agata Ciabattoni:
Automated Generation of Analytic Calculi for Logics with Linearity.
CSL 2004: 503-517 |
22 | EE | Agata Ciabattoni,
Christian G. Fermüller,
George Metcalfe:
Uniform Rules and Dialogue Games for Fuzzy Logics.
LPAR 2004: 496-510 |
21 | EE | Matthias Baaz,
Agata Ciabattoni,
Franco Montagna:
Analytic Calculi for Monoidal T-norm Based Logic.
Fundam. Inform. 59(4): 315-332 (2004) |
2003 |
20 | EE | Christian G. Fermüller,
Agata Ciabattoni:
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.
ISMVL 2003: 188- |
19 | EE | Agata Ciabattoni,
George Metcalfe:
Bounded Lukasiewicz Logics.
TABLEAUX 2003: 32-47 |
18 | EE | 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 | EE | 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 | EE | 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 | EE | Agata Ciabattoni:
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models.
J. Log. Comput. 11(2): 283-294 (2001) |
2000 |
12 | EE | Agata Ciabattoni:
On Urquhart's C Logic.
ISMVL 2000: 113- |
11 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |