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

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2014.911533

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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

On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics.Richard DeWitt - 2005 - Journal of Philosophical Logic 34 (5-6):545-560.
Non-classical operations hidden in classical logic.Vladimir Sotirov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):309-324.
Reasoning without believing: on the mechanisation of presuppositions and partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.
A complete system of four-valued logic.P. H. Rodenburg & Carsten Lutz - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):367-392.
Why classical logic is privileged: justification of logics based on translatability.Gerhard Schurz - 2021 - Synthese 199 (5-6):13067-13094.
Society semantics for four-valued Łukasiewicz logic.Edson Vinícius Bezerra - 2020 - Logic Journal of the IGPL 28 (5):892-911.
Finite and infinite-valued logics: inference, algebra and geometry: Preface.Walter Carnielli - 1999 - Journal of Applied Non-Classical Logics 9 (1):7-8.
Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.
A three-valued approach to default logic.Anna Radzikowska - 1996 - Journal of Applied Non-Classical Logics 6 (2):149-190.

Analytics

Added to PP
2014-07-28

Downloads
29 (#783,606)

6 months
2 (#1,694,052)

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.
Kurt Gödel, Collected Works.Solomon Feferman (ed.) - 1995 - Oxford University Press.
On Notation for Ordinal Numbers.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):93-94.

View all 11 references / Add more references