The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Agata Ciabattoni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Agata Ciabattoni
    Automated Generation of Analytic Calculi for Logics with Linearity. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:503-517 [Conf]
  2. Andrea Asperti, Agata Ciabattoni
    Effective Applicative Structures. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1995, pp:81-95 [Conf]
  3. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
    On the Undecidability of some Sub-Classical First-Order Logics. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:258-268 [Conf]
  4. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
    Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:181-186 [Conf]
  5. Agata Ciabattoni
    On Urquhart's C Logic. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2000, pp:113-0 [Conf]
  6. Agata Ciabattoni, Christian G. Fermüller
    Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:227-232 [Conf]
  7. Christian G. Fermüller, Agata Ciabattoni
    From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2003, pp:188-0 [Conf]
  8. Agata Ciabattoni, Duccio Luchi
    Two Connections Between Linear Logic and Lukasiewicz Logics. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:128-139 [Conf]
  9. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
    Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:201-215 [Conf]
  10. Matthias Baaz, Agata Ciabattoni, Richard Zach
    Quantified Propositional Gödel Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:240-256 [Conf]
  11. Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
    Uniform Rules and Dialogue Games for Fuzzy Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:496-510 [Conf]
  12. Agata Ciabattoni, Kazushige Terui
    Modular Cut-Elimination: Finding Proofs or Counterexamples. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:135-149 [Conf]
  13. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
    Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:203-212 [Conf]
  14. Agata Ciabattoni, George Metcalfe
    Bounded Lukasiewicz Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:32-47 [Conf]
  15. Matthias Baaz, Agata Ciabattoni
    A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:24-37 [Conf]
  16. Agata Ciabattoni, Mauro Ferrari
    Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:160-174 [Conf]
  17. Agata Ciabattoni
    Bounded Contraction in Systems with Linearity. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:113-127 [Conf]
  18. Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar
    Service QoS Composition at the Level of Part Names. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:24-37 [Conf]
  19. Agata Ciabattoni
    A proof-theoretical investigation of global intuitionistic (fuzzy) logic. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2005, v:44, n:4, pp:435-457 [Journal]
  20. Matthias Baaz, Agata Ciabattoni, Franco Montagna
    Analytic Calculi for Monoidal T-norm Based Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:59, n:4, pp:315-332 [Journal]
  21. Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:4, pp:363- [Journal]
  22. Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:5, pp:491- [Journal]
  23. Stefano Aguzzoli, Agata Ciabattoni
    Finiteness in Infinite-Valued Lukasiewicz Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2000, v:9, n:1, pp:5-29 [Journal]
  24. Andrea Asperti, Agata Ciabattoni
    A Sufficient Condition for Completability of Partial Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1209-1214 [Journal]
  25. Stefano Aguzzoli, Agata Ciabattoni, Antonio di Nola
    Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:213-222 [Journal]
  26. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
    Hypersequent Calculi for Go"del Logics -- a Survey. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:6, pp:835-861 [Journal]
  27. Agata Ciabattoni
    Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:2, pp:283-294 [Journal]
  28. Agata Ciabattoni, Kazushige Terui
    Towards a Semantic Characterization of Cut-Elimination. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:95-119 [Journal]
  29. Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti
    Cut-free proof systems for logics of weak excluded middle. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 1998, v:2, n:4, pp:147-156 [Journal]
  30. Agata Ciabattoni, George Metcalfe
    Density Elimination and Rational Completeness for First-Order Logics. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:132-146 [Conf]
  31. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
    Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:77-91 [Conf]

  32. Expanding the Realm of Systematic Proof Theory. [Citation Graph (, )][DBLP]


  33. Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. [Citation Graph (, )][DBLP]


  34. On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System. [Citation Graph (, )][DBLP]


  35. From Axioms to Analytic Rules in Nonclassical Logics. [Citation Graph (, )][DBLP]


  36. Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. [Citation Graph (, )][DBLP]


  37. SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. [Citation Graph (, )][DBLP]


  38. A Formal Logical Framework for Cadiag-2. [Citation Graph (, )][DBLP]


Search in 0.791secs, Finished in 0.794secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002