Kripke models and intermediate logics

DOI10.2977/prims/1195193915zbMath0226.02025OpenAlexW1998447124MaRDI QIDQ2548955

Hiroakira Ono

Publication date: 1971

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195193915

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (25)

On superintuitionistic logics as fragments of proof logic extensions ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ Intermediate logics with the same disjunctionless fragment as intuitionistic logic ⋮ Epimorphisms in varieties of residuated structures ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ Evaluation of Peirce's axiom on intermediate Kripke models and its application ⋮ Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics ⋮ Generalized tableau systems for intermediate propositional logics ⋮ Finite axiomatization for some intermediate logics ⋮ On fragments of Medvedev's logic ⋮ Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Decidability problem for finite Heyting algebras ⋮ A new constant in superintuitionistic logic L3 ⋮ A study of intermediate propositional logics on the third slice ⋮ Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics ⋮ Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics ⋮ Negative equivalence of extensions of minimal logic ⋮ On the structure of paraconsistent extensions of Johansson's logic ⋮ Logics of some Kripke frames connected with Medvedev notion of informational types ⋮ On the finite model property for Kripke models ⋮ Some results on the intermediate logics ⋮ A study of intermediate predicate logics ⋮ European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 ⋮ Generalizations of the weak law of the excluded middle

Cites Work

• The decidability of certain intermediate propositional logics
• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kripke models and intermediate logics