A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic

Journal of Philosophical Logic 10 (4):399 - 408 (1981)

Authors
Kosta Došen
University of Belgrade
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00248734
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,401
Through your library

References found in this work BETA

Formal Logic. Prior - 1955 - Oxford University Press.

Add more references

Citations of this work BETA

The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.

Add more citations

Similar books and articles

The First Axiomatization of Relevant Logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
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.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.

Analytics

Added to PP index
2009-01-28

Total views
46 ( #175,268 of 2,255,310 )

Recent downloads (6 months)
8 ( #191,342 of 2,255,310 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature