A study of intermediate predicate logics
From MaRDI portal
Publication:1843560
DOI10.2977/prims/1195192964zbMath0281.02033MaRDI 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
Counting the maximal intermediate constructive logics, On a semantics for non-classical logics, Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Taking degrees of truth seriously, Ordered sets R and Q as bases of Kripke models, Two classes of intermediate propositional logics without disjunction property, Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics, On some intuitionistic modal logics, Logics without Craig's interpolation property, A new semantics for intuitionistic predicate logic, Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach, Constructing a continuum of predicate extensions of each intermediate propositional logic, On maximal intermediate predicate constructive logics, Intermediate predicate logics determined by ordinals, Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
