On finite approximability of psi-intermediate logics

DOI10.1007/BF00373493zbMath0519.03015OpenAlexW1591827742MaRDI QIDQ1054716

Wiesław Dziobiak

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00373493

zbMATH Keywords

intuitionistic propositional logicintermediate logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Cites Work

• \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members
• The Finite Model Property and Subsystems of Classical Propositional Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On finite approximability of psi-intermediate logics