All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete

DOI10.2307/2695065zbMath1045.03030OpenAlexW2137263692WikidataQ114588310 ScholiaQ114588310MaRDI QIDQ2710597

Camillo Fiorentini

Publication date: 2000

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

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

On the rules of intermediate logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The disjunction property of intermediate propositional 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
• On canonicity and strong completeness conditions in intermediate propositional logics
• On formulas of one variable in intuitionistic propositional calculus
• ON FINITE APPROXIMABILITY OF SUPERINTUITIONISTIC LOGICS
• A sheaf representation and duality for finitely presented Heyting algebras
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable