A study of intermediate predicate logics
From MaRDI portal
Publication:1843560
DOI10.2977/prims/1195192964zbMath0281.02033OpenAlexW2054046573MaRDI QIDQ1843560
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
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
