DOSEN, K., Rudimentary Kripke models for the intuitionistic propositional calculus EVANS, DM and HRUSHOVSKI, E., On the automorphism groups of finite covers

, , , , , , , , &
Annals of Pure and Applied Logic 62:295 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Rudimentary Kripke models for the intuitionistic propositional calculus.Kosta Došen - 1993 - Annals of Pure and Applied Logic 62 (1):21-49.
On the automorphism groups of finite covers.David M. Evans & Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):83-112.
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.Kosta Došen - 1991 - Notre Dame Journal of Formal Logic 32 (4):580-597.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
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.
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
On the Modal Definability of Simulability by Finite Transitive Models.David Fernández Duque - 2011 - Studia Logica 98 (3):347-373.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.

Analytics

Added to PP
2014-03-29

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

Wildness implies undecidability for lattices over group rings.Carlo Toffalori - 1997 - Journal of Symbolic Logic 62 (4):1429-1447.

Add more citations

References found in this work

No references found.

Add more references