Two classes of intermediate propositional logics without disjunction property
From MaRDI portal
Publication:1115419
DOI10.1007/BF01624080zbMath0664.03019MaRDI QIDQ1115419
Publication date: 1989
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A study of intermediate predicate logics
- Finite and finitely separable intermediate propositional logics
- On formulas of one variable in intuitionistic propositional calculus
- Finitely generated free Heyting algebras
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
- Some theorems about the sentential calculi of Lewis and Heyting
This page was built for publication: Two classes of intermediate propositional logics without disjunction property