Negative Equivalence of Extensions of Minimal Logic
Studia Logica 78 (3):417-442 (2004)
Abstract
Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.DOI
10.1007/s11225-004-6043-0
My notes
Similar books and articles
Logic of classical refutability and class of extensions of minimal logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.
Modal logics with no minimal proper extensions.George F. Schumm - 1979 - Studia Logica 38 (3):233 - 235.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Invariance results for definable extensions of groups.Mário J. Edmundo, Gareth O. Jones & Nicholas J. Peatfield - 2011 - Archive for Mathematical Logic 50 (1-2):19-31.
Definable group extensions in semi‐bounded o‐minimal structures.Mário J. Edmundo & Pantelis E. Eleftheriou - 2009 - Mathematical Logic Quarterly 55 (6):598-604.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
Negative Translations Not Intuitionistically Equivalent to the Usual Ones.Jaime Gaspar - 2013 - Studia Logica 101 (1):45-63.
Minimal p-morphic images, axiomatizations and coverings in the modal logic K.Fabio Bellissima & Saverio Cittadini - 1999 - Studia Logica 62 (3):371-398.
On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit.Diderik Batens, Christian Strasser & Peter Verdée - 2009 - Logique Et Analyse 52 (207):281-304.
Lindenbaum's extensions.Andrzej Biela & Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (1):42-46.
On the Minimal Non-Fregean Grzegorczyk Logic.Joanna Golińska-Pilarek - 2016 - Studia Logica 104 (2):209-234.
El sistema bp+ : Una lógica positiva mínima para la negación mínima (the system bp+: A minimal positive logic for minimal negation).José M. Méndez, Francisco Salto & Gemma Robles - 2007 - Theoria 22 (1):81-91.
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.Gemma Robles & José M. Méndez - 2014 - Journal of Applied Non-Classical Logics 24 (4):321-332.
Analytics
Added to PP
2009-01-28
Downloads
25 (#465,705)
6 months
1 (#450,993)
2009-01-28
Downloads
25 (#465,705)
6 months
1 (#450,993)
Historical graph of downloads
Citations of this work
Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.
Classifying material implications over minimal logic.Hannes Diener & Maarten McKubre-Jordens - 2020 - Archive for Mathematical Logic 59 (7-8):905-924.
References found in this work
Foundations of Mathematical Logic.Haskell Brooks Curry - 1963 - New York, NY, USA: Dover Publications.
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
Logic of classical refutability and class of extensions of minimal logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.
Representation of j-algebras and Segerberg's logics.S. P. Odintsov - 1999 - Logique Et Analyse 42 (166):81-106.
