The logic of Brouwer and Heyting

In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 77-125 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
The development of intuitionistic logic.Mark van Atten - unknown
Modal interpretation of Heyting-Brouwer logic.Piotr Lukowski - 1996 - Bulletin of the Section of Logic 25 (2):80-83.
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.Luisa Iturrioz - 1976 - Notre Dame Journal of Formal Logic 17 (1):119-126.
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras.Guram Bezhanishvili, David Gabelaia & Mamuka Jibladze - 2022 - Journal of Mathematical Logic 22 (3).
Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting.Miriam Franchella - 2018 - History and Philosophy of Logic 40 (2):152-181.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.

Analytics

Added to PP
2014-02-01

Downloads
38 (#590,463)

6 months
6 (#851,135)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joan Rand Moschovakis
Occidental College

Citations of this work

No citations found.

Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..

View all 40 references / Add more references