Remark on a finite axiomatization of finite intermediate propositional logics

DOI10.1080/11663081.1999.10510973zbMath0995.03022OpenAlexW2078512188MaRDI QIDQ4531584

Dimitrij Skvortsov

Publication date: 2 July 2002

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1999.10510973

zbMATH Keywords

finite axiomatizationKripke framesfinite intermediate propositional logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

Yankov Characteristic Formulas (An Algebraic Account)

Cites Work

• Finite and finitely separable intermediate propositional logics
• Finitely generated free Heyting algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Remark on a finite axiomatization of finite intermediate propositional logics