Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):409-410 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic.Robert E. Kirk - 1979 - Mathematical Logic Quarterly 25 (25‐29):409-410.
Rudimentary Kripke models for the intuitionistic propositional calculus.Kosta Došen - 1993 - Annals of Pure and Applied Logic 62 (1):21-49.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Non-axiomatizable second order intuitionistic propositional logic.D. Skvortsov - 1997 - Annals of Pure and Applied Logic 86 (1):33-46.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.

Analytics

Added to PP
2016-02-04

Downloads
27 (#506,730)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references