Some results on the intermediate logics

DOI10.2977/prims/1195193228zbMath0253.02022OpenAlexW2073285694MaRDI QIDQ2557689

Hiroakira Ono

Publication date: 1972

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/1195193228

Mathematics Subject Classification ID

Classical propositional logic (03B05) Intermediate logics (03B55)

Related Items (7)

The undecidability of the disjunction property of propositional logics and other related problems ⋮ On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview ⋮ The disjunction property of intermediate propositional logics ⋮ Canonical formulas for K4. Part III: the finite model property ⋮ A study of intermediate propositional logics on the third slice ⋮ Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics ⋮ A study of intermediate predicate logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kripke models and intermediate logics
• On the finite model property for Kripke models
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• The decidability of the Kreisel-Putnam system

This page was built for publication: Some results on the intermediate logics