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

intermediate logicS4Barcan formulalogic of constant domainspredicate extension

Mathematics Subject Classification ID

Intermediate logics (03B55)

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

• 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?)
• A logic stronger than intuitionism
• A study of intermediate predicate logics
• Beitrag zur Metamathematik
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• 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

(8)

• Some remarks on extending and interpreting theories with a partial predicate for truth
• Continuum classes of logics
• On the structure of paraconsistent extensions of Johansson's logic
• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
• scientific article; zbMATH DE number 1471991 (Why is no real title available?)
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• Negative equivalence of extensions of minimal logic
• A predicate extension of real valued logic

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)