The following pages link to (Q3964525):
Displaying 4 items.
- Equations in free topoboolean algebra (Q1092029) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- A Note on Strictly Positive Logics and Word Rewriting Systems (Q5214732) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)