Modal interpretation of Heyting-Brouwer logic

Bulletin of the Section of Logic 25 (2):80-83 (1996)
  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: 91,610

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.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Fatal Heyting Algebras and Forcing Persistent Sentences.Leo Esakia & Benedikt Löwe - 2012 - Studia Logica 100 (1-2):163-173.
Heyting Algebras with Operators.Yasusi Hasimoto - 2001 - Mathematical Logic Quarterly 47 (2):187-196.
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.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The logic of brouwer and heyting.Joan Rand Moschovakis - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 77-125.
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.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.Luisa Iturrioz - 1976 - Notre Dame Journal of Formal Logic 17 (1):119-126.
Bi-Heyting algebras, toposes and modalities.Gonzalo E. Reyes & Houman Zolfaghari - 1996 - Journal of Philosophical Logic 25 (1):25 - 43.
Phenomenology and Transcendental Argument in Mathematics: The Case of Brouwer's Bar Theorem.Mark van Atten - unknown

Analytics

Added to PP
2014-01-21

Downloads
30 (#529,678)

6 months
2 (#1,187,206)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
A Useful Four-Valued Extension of the Temporal Logic KtT4.Vincent Degauquier - 2018 - Bulletin of the Section of Logic 47 (1):15-31.
Axiom (cc0) and Verifiability in Two Extracanonical Logics of Formal Inconsistency.Thomas Macaulay Ferguson - 2018 - Principia: An International Journal of Epistemology 22 (1):113-138.

View all 6 citations / Add more citations

References found in this work

Add more references