Constructing a continuum of predicate extensions of each intermediate propositional logic

DOI10.1007/BF01063151zbMath0837.03024OpenAlexW2010376212MaRDI QIDQ1891930

Nobu-Yuki Suzuki

Publication date: 13 May 1996

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01063151

zbMATH Keywords

intermediate logicS4Barcan formulalogic of constant domainspredicate extension

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics, A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics, Negative equivalence of extensions of minimal logic, On the structure of paraconsistent extensions of Johansson's logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical investigations in Heyting's intuitionistic logic
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• Beitrag zur Metamathematik
• A study of intermediate predicate logics
• Kripke models and intermediate logics
• A logic stronger than intuitionism
• On logics intermediate between intuitionistic and classical predicate logic
• Some theorems about the sentential calculi of Lewis and Heyting
• Eine Darstellung der Intuitionistischen Logik in der Klassischen