The following pages link to (Q5614644):
Displaying 6 items.
- Frame based formulas for intermediate logics (Q1005954) (← links)
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Finite models constructed from canonical formulas (Q2462682) (← links)
- Rules and arithmetics (Q5937848) (← links)