A Philosophically Plausible Formal Interpretation of Intuitionistic Logic

Journal of Symbolic Logic 36 (2):329-329 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270284

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

My notes

Similar books and articles

Review: Andrzej Grzegorczyk, A Philosophically Plausible Formal Interpretation of Intuitionistic Logic. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment.Yaroslav Shramko - 1998 - Logique Et Analyse 161:162-163.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
An intuitionistically plausible interpretation of intuitionistic logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.
An Intuitionistically Plausible Interpretation of Intuitionistic Logic.H. C. M. De Swart - 1977 - Journal of Symbolic Logic 42 (4):564 - 578.
A common axiom set for classical and intuitionistic plane geometry.Melinda Lombard & Richard Vesley - 1998 - Annals of Pure and Applied Logic 95 (1-3):229-255.
Towards intuitionistic dynamic logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.Hiroshi Aoyama - 2004 - Notre Dame Journal of Formal Logic 45 (4):193-213.
Why Logic Doesn 't Matter in the (Philosophical) Study of Argumentation'.Tim Heysse - 1997 - Argumentation 11 (2):211-224.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
On philosophical motivations for paraconsistency: an ontology-free interpretation of the logics of formal inconsistency.Walter Carnielli & Abilio Rodrigues - manuscript

Analytics

Added to PP
2015-02-05

Downloads
56 (#278,942)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.

View all 19 citations / Add more citations

References found in this work

No references found.

Add more references