A 4-valued framework encompassing intuitionistic and classical logic

Journal of Applied Non-Classical Logics 24 (1-2):138-143 (2014)
  Copy   BIBTEX

Abstract

A 4-valued framework is proposed to distinguish intuitionistically valid formulas within classical validities

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,621

External links

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

Through your library

Similar books and articles

How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.

Analytics

Added to PP
2014-07-28

Downloads
15 (#799,625)

6 months
1 (#1,011,292)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
Kurt Gödel, Collected Works.Solomon Feferman (ed.) - 1995 - Oxford University Press.

View all 10 references / Add more references