Philosophical Importance of Andrzeh Grzegorczyk's Work on Intuitionistic Logic

Studies in Logic, Grammar and Rhetoric 27 (40) (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic.Andrzej Grzegorczyk - 1971 - Journal of Symbolic Logic 36 (2):329-329.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Review: Andrzej Grzegorczyk, A Philosophically Plausible Formal Interpretation of Intuitionistic Logic. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem.Guram Bezhanishvili - 2010 - Annals of Pure and Applied Logic 161 (3):253-267.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited.Jean-Sylvestre Gakwaya - 1997 - Mathematical Logic Quarterly 43 (1):73-77.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Grzegorczyk Andrzej. A philosophically plausible formal interpretation of intuitionistic logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 , pp. 596–601; also Indagationes matkematicae, vol. 26 , pp. 596–601. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.
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.
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Intuitionistic formal theories with realizability in subrecursive classes.Anatoly Petrovich Beltiukov - 1997 - Annals of Pure and Applied Logic 89 (1):3-15.

Analytics

Added to PP
2018-03-10

Downloads
6 (#1,456,990)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krystyna Misiuna
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

A Useful Substructural Logic.Greg Restall - 1994 - Logic Journal of the IGPL 2 (2):137-148.

View all 13 references / Add more references