Abstract
Combining non-classical (or ‘sub-classical’) logics is not easy, but it is very interesting. In this paper, we combine nonclassical logics of negation and possibility (in the presence of conjunction and disjunction), and then we combine the resulting systems with intuitionistic logic. We will find that Kracht's results on the undecidability of classical modal logics generalise to a non-classical setting. We will also see conditions under which intuitionistic logic can be combined with a non-intuitionistic negation without corrupting the intuitionistic fragment of the logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
NUEL D. BELNAP, 1993, Life in the undistributed middle, in: Peter Schroeder-Heister and Kosta Došen, editors, Substructural Logics, 31–41. Oxford University Press.
M. BoŽiĆ and Kosta DoŠen, 1984, Models for normal intuitionistic modal logics, Studia Logica, 43, 217–245.
J. MICHAEL DUNN, 1991, Gaggle theory: An abstraction of Galois connections and residuation with applications to negation and various logical operations, In Logics in AI, Proceedings European Workshop JELIA 1990, LNCS 478, Springer Verlag.
J. MICHAEL DUNN, 1993, Partial-gaggles applied to logics with restricted structural rules, in: Peter Schroeder-Heister and Kosta Došen, editors, Substructural Logics, Oxford University Press.
J. MICHAEL DUNN, 1994, Star and perp: Two treatments of negation, in: James Tomberlin, editor, Philosophical Perspectives, volume 7.
D. M. GABBAY, 1974, On second order intuitionistic propositional calculus with full comprehension, Archiv für Mathematische Logik und Grundlagenforschung, 16, 177–186.
MARKUS KRACHT, 1993, Highway to the danger zone, Unpublished manuscript, II. Mathematiches Intitut, Freie Universität Berlin.
ROBERT K. MEYER, J. M. DUNN, and H. LEBLANC, 1974, Completeness of relevant quantificational theories, Notre Dame Journal of Formal Logic, 15, 97–121.
GREG RESTALL, 1993, Deviant logic and the paradoxes of self reference, Philosophical Studies, 70, 279–303.
GREG RESTALL, DISPLAYING AND DECIDING SUBSTRUCTURAL LOGICS 1: LOGICS WITH CONTRAPOSITION, Journal of Philosophical Logic (to appear).
GREG RESTALL, 1994, A useful substructural logic, Bulletin of the Interest Group in Pure and Applied Logic, 2(2), 135–146.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Restall, G. Combining Possibilities and Negations. Studia Logica 59, 121–141 (1997). https://doi.org/10.1023/A:1004951501769
Issue Date:
DOI: https://doi.org/10.1023/A:1004951501769