The following pages link to The semi Heyting-Brouwer logic (Q495844):
Displaying 4 items.
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- Semi-Heyting Algebras and Identities of Associative Type (Q5241407) (← links)
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422) (← links)
