Finite Kripke models of HA are locally PA

Notre Dame Journal of Formal Logic 27:528-532 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,169

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

Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Kripke-type semantics for Da Costa's paraconsistent logic "C" w.Matthias Baaz - 1986 - Notre Dame Journal of Formal Logic 27:523-527.
Formally defined operations in Kripke models.Luis E. Sanchis - 1973 - Notre Dame Journal of Formal Logic 14 (4):467-480.
On finite models of regular identities.Joseph Dudek - 1989 - Notre Dame Journal of Formal Logic 30:624-628.
On finite models of regular identities.Józef Dudek & Andrzej Kisielewicz - 1989 - Notre Dame Journal of Formal Logic 30 (4):624-628.

Analytics

Added to PP
2010-08-24

Downloads
24 (#769,739)

6 months
9 (#383,972)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Localizing finite-depth Kripke models.Mojtaba Mojtahedi - 2019 - Logic Journal of the IGPL 27 (3):239-251.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references