Counting the maximal intermediate constructive logics

DOI10.2307/2275149MaRDI QIDQ4283073zbMATHOpenAlexFDO

Authors Mauro Ferrari, Pierangelo Miglioli

Publication date 1 September 1994

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275149

zbMATH Keywords

disjunction propertyintermediate predicate logicexplicit definability propertyintermediate propositional logicmaximal intermediate logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• On maximal intermediate predicate constructive logics
• Some results on intermediate constructive logics
• A method to single out maximal propositional logics with the disjunction property. I
• Continuality of the set of maximal superintuitionistic logics with the disjunction property
• On the existence of continua of logics between some intermediate predicate logics

Cites work

• A result on propositional logics having the disjunction property
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• A study of intermediate predicate logics
• An infinite class of maximal intermediate propositional logics with the disjunction property
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• On maximal intermediate logics with the disjunction property
• Semantical investigations in Heyting's intuitionistic logic
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable

Cited in

(12)

• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
• Continuum classes of logics
• Proof analysis in intermediate logics
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• Generalized tableau systems for intermediate propositional logics
• scientific article; zbMATH DE number 1191233 (Why is no real title available?)
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• A method to single out maximal propositional logics with the disjunction property. I
• A method to single out maximal propositional logics with the disjunction property. II
• Some results on intermediate constructive logics
• A Generalization of Maksimova’s Criterion for the Disjunction Property
• On maximal intermediate predicate constructive logics

This page was built for publication: Counting the maximal intermediate constructive logics

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