The following pages link to Semi-de Morgan algebras (Q3764195):
Displaying 30 items.
- A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Demi-primal algebras (Q795073) (← links)
- Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility (Q913835) (← links)
- Principal congruences of double demi-p-lattices (Q914710) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Nodal filters in hoop algebras (Q1626240) (← links)
- Sequent calculi for semi-De Morgan and De Morgan algebras (Q1653653) (← links)
- Representation of finite demi-\(p\)-lattices by means of posets (Q1914060) (← links)
- Semi-De Morgan algebras (Q1914064) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- On ideals and congruences of distributive demi-\(p\)-algebras. (Q2350967) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- The lattice of congruences on a subdirectly irreducible weak Stone-Ockham algebra (Q2909085) (← links)
- Ockham Algebras with Balanced Demi-pseudocomplementation (Q3162649) (← links)
- (Q4396126) (← links)
- Ockham algebras with demi-pseudocomplementation (Q4700478) (← links)
- Quasi-Nelson algebras and fragments (Q5022928) (← links)
- Ockham Algebras—An Urquhart Legacy (Q5027244) (← links)
- Semi-Heyting Algebras and Identities of Associative Type (Q5241407) (← links)
- (Q5472335) (← links)
- Foundations of Information and Knowledge Systems (Q5898534) (← links)
- Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422) (← links)
- Polynomial-time checking of generalized Sahlqvist syntactic shape (Q6639733) (← links)
