A Short Introduction to Intuitionistic Logic

Bulletin of Symbolic Logic 8 (4):520-521 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/797956

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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

A short introduction to intuitionistic logic.G. E. Mint︠s︡ - 2000 - New York: Kluwer Academic / Plenum Publishers.
Review: Helmut Schwichtenberg, Finite Notations for Infinite Terms. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
Schwichtenberg Helmut. Rekursionszahlen und die Grzegorczyk-Hierarchie. Archiv für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 85–97. [REVIEW]R. M. Baer - 1970 - Journal of Symbolic Logic 35 (3):480.
A new proof system for intuitionistic logic.Valeria de Paiva & Luiz C. Pereira - 1995 - Bulletin of Symbolic Logic 1 (1):101.
Simplified Introduction to Intuitionistic Logic.Moh Shaw-Kwei - 1960 - Journal of Symbolic Logic 25 (2):181-181.
Berger U., Buchholz W., and Schwichtenberg H.. Refined program extraction from classical proofs. Annals of pure and applied logic, vol. 114 (2002), pp. 3–25. [REVIEW]N. Danner - 2003 - Bulletin of Symbolic Logic 9 (1):47-48.
Review: Moh Shaw-Kwei, Simplified Introduction to Intuitionistic Logic. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):181-181.
Review: Wilfried Buchholz, An Intuitionistic Fixed Point Theory. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Introduction to neutrosophic logic.Charles Ashbacher - 2002 - Rehoboth, NM: American Research Press.
Review: A. S. Troelstra, H. Schwichtenberg, Basic Proof Theory. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.

Analytics

Added to PP
2015-02-06

Downloads
11 (#1,167,245)

6 months
3 (#1,046,015)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Second-order abstract categorial grammars as hyperedge replacement grammars.Makoto Kanazawa - 2010 - Journal of Logic, Language and Information 19 (2):137-161.
A Polynomial Translation of S4 into Intuitionistic Logic.David Fernandez - 2006 - Journal of Symbolic Logic 71 (3):989 - 1001.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references