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

Other Versions

No versions found

Links

PhilArchive



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

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

The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Normal Modal Logics In Which The Heyting Propositional Calculus Can Be Embedded.Kosta Dosen - 1988 - Bulletin of the Section of Logic 17 (1):23-30.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
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.
Interpolation in Normal Extensions of the Brouwer Logic.Zofia Kostrzycka - 2016 - Bulletin of the Section of Logic 45 (3/4).
Remarks on Heyting algebras with tense operators.A. V. Figallo & G. Pelaitay - 2012 - Bulletin of the Section of Logic 41 (1/2):71-74.
On Distributivity Of The Lattice Of Subquasivarieties Of A Variety Of Heyting Algebras.Wieslaw Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):37-40.
Lattices of non-Locally Finite Hypergraphs are not Heyting.Adam Kolany - 2006 - Bulletin of the Section of Logic 35 (2/3):105-109.
On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras.Wies law Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):37-40.
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.

Analytics

Added to PP
2014-01-21

Downloads
35 (#643,275)

6 months
4 (#1,246,434)

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