Constructing a continuum of predicate extensions of each intermediate propositional logic

DOI10.1007/BF01063151MaRDI QIDQ1891930zbMATH OpenOpenAlexFDO

Authors 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

Barcan formulaintermediate logiclogic of constant domainspredicate extensionS4

Mathematics Subject Classification ID

Intermediate logics (03B55)

Review text

Waisberg and Jankov gave powerful methods for constructing a continuum of logics. But their methods are not suitable for superintuitionistic and modal predicate logics. Using a modification of these methods, the author shows that there is a continuum of logics between the intuitionistic predicate logic and the logic of constant domains; between a predicate extension of S4 and S4 with the Barcan formula. Besides, he proves that there is a continuum of predicate logics with equality whose ``equality- free fragment is just the intuitionistic predicate logic.

Recommendations

• On the existence of continua of logics between some intermediate predicate logics
• Interpolation in superintuitionistic predicate logics with equality
• Continuum classes of logics
• scientific article; zbMATH DE number 1215466
• Counting the maximal intermediate constructive logics

Cites work

• A logic stronger than intuitionism
• A study of intermediate predicate logics
• Beitrag zur Metamathematik
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• scientific article; zbMATH DE number 4106814 (Why is no real title available?)
• scientific article; zbMATH DE number 549808 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• scientific article; zbMATH DE number 218502 (Why is no real title available?)
• scientific article; zbMATH DE number 3230245 (Why is no real title available?)
• scientific article; zbMATH DE number 3231075 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Kripke models and intermediate logics
• On logics intermediate between intuitionistic and classical predicate logic
• Semantical investigations in Heyting's intuitionistic logic
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(9)

• Some remarks on extending and interpreting theories with a partial predicate for truth
• Negative equivalence of extensions of minimal logic
• On the structure of paraconsistent extensions of Johansson's logic
• On the existence of continua of logics between some intermediate predicate logics
• A predicate extension of real valued logic
• Continuum classes of logics
• scientific article; zbMATH DE number 1471991 (Why is no real title available?)
• 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

This page was built for publication: Constructing a continuum of predicate extensions of each intermediate propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1891930)