Model Theory for Intuitionistic Logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):49-54 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19720180402

Links

PhilArchive



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

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

Decidable Kripke models of intuitionistic theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Preservation theorems for bounded formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Mathematical Logic Quarterly 18 (4‐6):49-54.
Should the logic of set theory be intuitionistic?Alexander Paseau - 2001 - Proceedings of the Aristotelian Society 101 (3):369–378.
A weak intuitionistic propositional logic with purely constructive implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
The intuitionistic alternative set theory.K. Lano - 1993 - Annals of Pure and Applied Logic 59 (2):141-156.
Some purely topological models for intuitionistic analysis.Philip Scowcroft - 1999 - Annals of Pure and Applied Logic 98 (1-3):173-215.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
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.

Analytics

Added to PP
2016-02-04

Downloads
23 (#682,406)

6 months
2 (#1,198,893)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Normal modal model theory.Kenneth A. Bowen - 1975 - Journal of Philosophical Logic 4 (2):97 - 131.
On models with variable universe.Bernd Ingo Dahn - 1975 - Studia Logica 34 (1):11 - 23.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references