Intuitionistic Relevant Logic and Perfect Validity

Analysis 54 (3):140 - 142 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/analys/54.3.140

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle.Peter Schroeder-Heister - 1983 - Journal of Philosophical Logic 12 (3):359 - 377.
The coherence of antirealism.Charles McCarty - 2006 - Mind 115 (460):947-956.
Zasada wyłączonego środka a logika intuicjonistyczna.Bożena Czernecka - 2000 - Filozofia Nauki 3.
On a second order propositional operator in intuitionistic logic.A. S. Troelstra - 1981 - Studia Logica 40 (2):113 - 139.
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
And negations.Greg Restall - unknown
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic.Kosta Došen - 1981 - Journal of Philosophical Logic 10 (4):399 - 408.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.

Analytics

Added to PP
2011-05-29

Downloads
87 (#187,940)

6 months
12 (#174,629)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Milne
University of Stirling

Citations of this work

On Maintaining Concentration.Neil Tennant - 1994 - Analysis 54 (3):143 - 152.

Add more citations

References found in this work

No references found.

Add more references