The following pages link to (Q3206929):
Displayed 5 items.
- Equations in free topoboolean algebra (Q1092029) (← links)
- No non-trivial quasivariety of BCK-algebras has decidable first order theory (Q1100203) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)