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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

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 logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Review: L. E. J. Brouwer, L.E.J. Brouwer, Collected Works. [REVIEW]Joan Rand Moschovakis - 1979 - Journal of Symbolic Logic 44 (2):271-275.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
Brouwer's Philosophy of Mathematics: Review of L. E. J. Brouwer (A. Heyting and H. Freudenthal eds.), Collected Works. [REVIEW]D. A. Gillies - 1980 - Erkenntnis 15 (1):105 - 126.
Modal interpretation of Heyting-Brouwer logic.Piotr Lukowski - 1996 - Bulletin of the Section of Logic 25 (2):80-83.
Like a bee on a windowpane: Heyting's reflections on solipsism.Miriam Franchella - 1995 - Synthese 105 (2):207 - 251.
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.
Self-referentiality of Brouwer–Heyting–Kolmogorov semantics.Junhua Yu - 2014 - Annals of Pure and Applied Logic 165 (1):371-388.
Review: Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Jean van Heijenoort, On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mengelberg, On the Domains of Definition of Functions; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Intuitionistic Reflections on Formalism. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.Luisa Iturrioz - 1976 - Notre Dame Journal of Formal Logic 17 (1):119-126.
Review: L. E. J. Brouwer, Points and Spaces. [REVIEW]Joan Rand Moschovakis - 1969 - Journal of Symbolic Logic 34 (3):519-519.
Brouwer-Zadeh logic and the operational approach to quantum mechanics.Roberto Giuntini - 1990 - Foundations of Physics 20 (6):701-714.
Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930.Christian Thiel - 1988 - History and Philosophy of Logic 9 (1):67-75.
Brouwer-Zadeh logic, decidability and bimodal systems.Roberto Giuntini - 1992 - Studia Logica 51 (1):97 - 112.
Fatal Heyting Algebras and Forcing Persistent Sentences.Leo Esakia & Benedikt Löwe - 2012 - Studia Logica 100 (1-2):163-173.

Analytics

Added to PP
2014-02-01

Downloads
32 (#511,228)

6 months
4 (#843,989)

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

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 43 references / Add more references