10 found
Order:
  1.  39
    Algebraic Proof Theory for Substructural Logics: Cut-Elimination and Completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.
  2.  8
    Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
    This paper presents an overview of the methods of hypersequents and display sequents in the proof theory of non-classical logics. In contrast with existing surveys dedicated to hypersequent calculi or to display calculi, our aim is to provide a unified perspective on these two formalisms highlighting their differences and similarities and discussing applications and recent results connecting and comparing them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  8
    Algebraic Proof Theory: Hypersequents and Hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
  4.  25
    Towards a Semantic Characterization of Cut-Elimination.Agata Ciabattoni & Kazushige Terui - 2006 - Studia Logica 82 (1):95-119.
    We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  30
    Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Andrei Voronkov & Michel Parigot (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Berlin: Springer. pp. 240-256.
    It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  16
    A Proof-Theoretical Investigation of Global Intuitionistic (Fuzzy) Logic.Agata Ciabattoni - 2004 - Archive for Mathematical Logic 44 (4):435-457.
    We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things, these calculi allows one to prove Herbrand’s theorem for suitable fragments of GI and GIF.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  37
    Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
    In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-valued ukasiewicz logic to a suitable m-valued ukasiewicz logic m , where m only depends on the length of the formulas to be proved. Using geometrical arguments we find a better upper bound for the least integer m such that a formula is valid in if and only if it is also valid in m. We also reduce the notion of logical consequence in to the same (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  31
    Mīmāṃsā Deontic Logic: Proof Theory and Applications.Agata Ciabattoni, Francesco Antonio Genco, Björn Lellmann & Elisa Freschi - 2015 - In Hans De Nivelle (ed.), Automated Reasoning with Analytic Tableaux and Related Methods. Springer. pp. 323--338.
  9.  8
    Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School.Elisa Freschi, Agata Ciabattoni, Francesco A. Genco & Björn Lellmann - 2017 - Journal of World Philosophies 2 (1).
    The Mīmā ṃ sā school of Indian philosophy elaborated complex ways of interpreting the prescriptive portions of the Vedic sacred texts. The present article is the result of the collaboration of a group of scholars of logic, computer science, European philosophy and Indian philosophy and aims at the individuation and analysis of the deontic system which is applied but never explicitly discussed in Mīmā ṃ sā texts. The article outlines the basic distinction between three sorts of principles —hermeneutic, linguistic and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  12
    A Sufficient Condition for Completability of Partial Combinatory Algebras.Andrea Asperti & Agata Ciabattoni - 1997 - Journal of Symbolic Logic 62 (4):1209-1214.
    A Partial Combinatory Algebra is completable if it can be extended to a total one. In [1] it is asked (question 11, posed by D. Scott, H. Barendregt, and G. Mitschke) if every PCA can be completed. A negative answer to this question was given by Klop in [12, 11]; moreover he provided a sufficient condition for completability of a PCA (M, ·, K, S) in the form of ten axioms (inequalities) on terms of M. We prove that just one (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark