Counting the maximal intermediate constructive logics

DOI10.2307/2275149zbMath0795.03031OpenAlexW2056412887MaRDI QIDQ4283073

Pierangelo Miglioli, Mauro Ferrari

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)

Related Items

A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics, 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, A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics, Generalized tableau systems for intermediate propositional logics, Proof analysis in intermediate logics, A Generalization of Maksimova’s Criterion for the Disjunction Property, On maximal intermediate predicate constructive logics

Cites Work

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