David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 78 (1-2):59 - 106 (2004)
The logic RM and its basic fragments (always with implication) are considered here as entire consequence relations, rather than as sets of theorems. A new observation made here is that the disjunction of RM is definable in terms of its other positive propositional connectives, unlike that of R. The basic fragments of RM therefore fall naturally into two classes, according to whether disjunction is or is not definable. In the equivalent quasivariety semantics of these fragments, which consist of subreducts of Sugihara algebras, this corresponds to a distinction between strong and weak congruence properties. The distinction is explored here. A result of Avron is used to provide a local deduction-detachment theorem for the fragments without disjunction. Together with results of Sobociski, Parks and Meyer (which concern theorems only), this leads to axiomatizations of these entire fragments — not merely their theorems. These axiomatizations then form the basis of a proof that all of the basic fragments of RM with implication are finitely axiomatized consequence relations.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Enrico Marchioni & George Metcalfe (2012). Craig Interpolation for Semilinear Substructural Logics. Mathematical Logic Quarterly 58 (6):468-481.
J. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
Similar books and articles
Marek Tokarz (1976). Functions Definable in Sugihara Algebras and Their Fragments. II. Studia Logica 35 (3):279 - 283.
Marek Tokarz (1975). Functions Definable in Sugihara Algebras and Their Fragments (I). Studia Logica 34 (4):295 - 304.
Erich Grädel (1999). On the Restraining Power of Guards. Journal of Symbolic Logic 64 (4):1719-1742.
H. J. Rose (1955). The Hermetica Completed A.-J. Festugière, A. D. Nock: Hermès Trismégiste. Tome Iii: Fragments Extraits de Stobée I–Xxii. Tome Iv: Fragments Extraits de Stobée (Xxiii–Xxix), Fragments Divers. Pp. Ccxxviii+91, 150. Paris: Les Belles Lettres, 1954. Paper, 800, 600 Fr. [REVIEW] The Classical Review 5 (3-4):275-276.
Małgorzata Porębska (1986). Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras. Studia Logica 45 (1):35 - 38.
Dirk Roorda (1994). Interpolation in Fragments of Classical Linear Logic. Journal of Symbolic Logic 59 (2):419-444.
Johan van Benthem (2007). A New Modal Lindström Theorem. Logica Universalis 1 (1):125-138.
Gerard R. Renardel De Lavalette (1989). Interpolation in Fragments of Intuitionistic Propositional Logic. Journal of Symbolic Logic 54 (4):1419 - 1430.
Marcelo E. Coniglio (2007). Recovering a Logic From its Fragments by Meta-Fibring. Logica Universalis 1 (2):377-416.
Jacek K. Kabziński (1982). Basic Properties of the Equivalence. Studia Logica 41 (1):17 - 40.
Added to index2009-01-28
Total downloads9 ( #159,846 of 1,102,931 )
Recent downloads (6 months)6 ( #46,918 of 1,102,931 )
How can I increase my downloads?