Pages that link to "Item:Q432182"
From MaRDI portal
The following pages link to The variety generated by semi-Heyting chains (Q432182):
Displayed 11 items.
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Semi-intuitionistic logic (Q763323) (← links)
- On congruences in weak implicative semi-lattices (Q1701818) (← links)
- On some semi-intuitionistic logics (Q2352456) (← links)
- Semi-Heyting algebras term-equivalent to Gödel algebras (Q2376916) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- Semi-Heyting Algebras and Identities of Associative Type (Q5241407) (← links)
- A note on chain‐based semi‐Heyting algebras (Q6047660) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions (Q6200457) (← links)