scientific article; zbMATH DE number 3304009
From MaRDI portal
Publication:5585371
Cited in
(6)- A semantic hierarchy for intuitionistic logic
- On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem
- Varieties of BL-algebras. III: Splitting algebras
- V. Yankov’s Contributions to Propositional Logic
- Yankov Characteristic Formulas (An Algebraic Account)
- Degree of satisfiability in Heyting algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5585371)
