And negations

Abstract

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 nd 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.

Analytics

Added to PP
2009-01-28

Downloads
43 (#360,193)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Greg Restall
University of Melbourne

Citations of this work

No citations found.

Add more citations

References found in this work

Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
A Useful Substructural Logic.Greg Restall - 1994 - Logic Journal of the IGPL 2 (2):137-148.

Add more references