Semantical Investigations in Heyting's Intuitionistic Logic

Journal of Symbolic Logic 51 (3):824-824 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274038

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Review: Dov M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic. [REVIEW]Wim Veldman - 1986 - Journal of Symbolic Logic 51 (3):824-824.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
A deductive-reductive form of logic: General theory and intuitionistic case.Piotr Łukowski - 2002 - Logic and Logical Philosophy 10:59.
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.
Modalities as interactions between the classical and the intuitionistic logics.Michał Walicki - 2006 - Logic and Logical Philosophy 15 (3):193-215.
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
On the polynomial-space completeness of intuitionistic propositional logic.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (7):711-716.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
An intuitionistic characterization of classical logic.Ming Hsiung - 2008 - Journal of Philosophical Logic 37 (4):299 - 317.

Analytics

Added to PP
2015-02-05

Downloads
34 (#459,882)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.

View all 66 citations / Add more citations

References found in this work

No references found.

Add more references