A study of intermediate predicate logics

DOI10.2977/prims/1195192964zbMath0281.02033OpenAlexW2054046573MaRDI QIDQ1843560

Hiroakira Ono

Publication date: 1973

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Intermediate logics (03B55)

Related Items (19)

Intermediate predicate logics determined by ordinals ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ Counting the maximal intermediate constructive logics ⋮ Ordered sets R and Q as bases of Kripke models ⋮ Two classes of intermediate propositional logics without disjunction property ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics ⋮ An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics ⋮ On a semantics for non-classical logics ⋮ On some intuitionistic modal logics ⋮ Logics without Craig's interpolation property ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Taking degrees of truth seriously ⋮ A new semantics for intuitionistic predicate logic ⋮ Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach ⋮ On maximal intermediate predicate constructive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kripke models and intermediate logics
• Some results on the intermediate logics
• Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
• A logic stronger than intuitionism
• On logics intermediate between intuitionistic and classical predicate logic
• Applications of trees to intermediate logics

This page was built for publication: A study of intermediate predicate logics