On some Kripke complete and Kripke incomplete intermediate predicate logics

Studia Logica 61 (2):281-292 (1998)
  Copy   BIBTEX


The Kripke-completeness and incompleteness of some intermediate predicate logics is established. In particular, we obtain a Kripke-incomplete logic (H* +A+D+K) where H* is the intuitionistic predicate calculus, A is a disjunction-free propositional formula, D = x(P(x) V Q) xP(x) V Q, K = ¬¬x(P(x) V ¬P(x)) (the negative answer to a question of T. Shimura).



    Upload a copy of this work     Papers currently archived: 74,310

External links

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

Through your library


Added to PP

23 (#495,604)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics.Tatsuya Shimura - 2001 - Bulletin of the Section of Logic 30 (2):107-114.

Add more citations

References found in this work

No references found.

Add more references