All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete
From MaRDI portal
Publication:2710597
DOI10.2307/2695065zbMath1045.03030WikidataQ114588310 ScholiaQ114588310MaRDI QIDQ2710597
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
03B55: Intermediate logics
Related Items
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