A Topological Model for Intuitionistic Analysis with Kripke's Scheme

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780242507

Links

PhilArchive



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

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

A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.
Some purely topological models for intuitionistic analysis.Philip Scowcroft - 1999 - Annals of Pure and Applied Logic 98 (1-3):173-215.
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.Jennifer M. Davoren - 2010 - Annals of Pure and Applied Logic 161 (3):349-367.
Decidable Kripke models of intuitionistic theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
Glueing of analysis models in an intuitionistic setting.D. Dalen - 1986 - Studia Logica 45 (2):181 - 186.
Kripke submodels and universal sentences.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2007 - Mathematical Logic Quarterly 53 (3):311-320.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
A Topological Model for Troelstra's System CS of Intuitionistic Analysis.Konrad Schultz - 1980 - Mathematical Logic Quarterly 26 (22‐24):349-354.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
A Topological Model for Troelstra's System CS of Intuitionistic Analysis.Konrad Schultz - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (22-24):349-354.
The Topological Models of Intuitionistic Analysis. One Counterexample.M. D. Krol & B. F. Wells - 1981 - Journal of Symbolic Logic 46 (3):660-661.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.

Analytics

Added to PP
2016-02-04

Downloads
31 (#515,963)

6 months
5 (#639,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.
Some purely topological models for intuitionistic analysis.Philip Scowcroft - 1999 - Annals of Pure and Applied Logic 98 (1-3):173-215.

View all 10 citations / Add more citations

References found in this work

The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.

Add more references