Studia Logica 89 (3):401 - 425 (2008)
|Abstract||The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew . The main result of Part I of this series  shows that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL ew (namely, a certain variety of FL ew -algebras) are term equivalent. In this paper, the term equivalence result of Part I  is lifted to the setting of deductive systems to establish the definitional equivalence of the logics N and NFL ew . It follows from the definitional equivalence of these systems that constructive logic with strong negation is a substructural logic.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
David Pearce & Agustín Valverde (2005). A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80 (2-3):321 - 346.
Marcus Kracht (1998). On Extensions of Intermediate Logics by Strong Negation. Journal of Philosophical Logic 27 (1):49-73.
Heinrich Wansing (1993). Informational Interpretation of Substructural Propositional Logics. Journal of Logic, Language and Information 2 (4):285-308.
Andrzej Sendlewski (1995). Axiomatic Extensions of the Constructive Logic with Strong Negation and the Disjunction Property. Studia Logica 55 (3):377 - 388.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Norihiro Kamide (2003). Normal Modal Substructural Logics with Strong Negation. Journal of Philosophical Logic 32 (6):589-612.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Matthew Spinks & Robert Veroff (2008). Constructive Logic with Strong Negation is a Substructural Logic. I. Studia Logica 88 (3):325 - 348.
Sorry, there are not enough data points to plot this chart.
Added to index2009-04-06
Total downloads6 ( #145,458 of 548,984 )
Recent downloads (6 months)1 ( #63,327 of 548,984 )
How can I increase my downloads?