The following pages link to (Q5532530):
Displaying 13 items.
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029) (← links)
- Negative equivalence of extensions of minimal logic (Q1770621) (← links)
- On the structure of paraconsistent extensions of Johansson's logic (Q1775862) (← links)
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662) (← links)
- Kripke models and intermediate logics (Q2548955) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras (Q4041620) (← links)
- Remark on a finite axiomatization of finite intermediate propositional logics (Q4531584) (← links)
- A note on entropy of logic (Q4987702) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
