The following pages link to Matthew Spinks (Q429937):
Displayed 31 items.
- Logics from \(\sqrt{\prime}\) quasi-MV algebras (Q429939) (← links)
- Item:Q429937 (redirect page) (← links)
- Lee classes for pseudocomplemented semilattices, revisited (Q535101) (← links)
- Principal congruences on pseudocomplemented semilattices (Q535107) (← links)
- Cancellation in skew lattices (Q633218) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Skew Boolean algebras derived from generalized Boolean algebras (Q934888) (← links)
- Abelian logic and the logics of pointed lattice-ordered varieties (Q1001368) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- On middle distributivity for skew lattices (Q1590061) (← links)
- Algebraic semantics for Nelson's logic \(\mathcal{S}\) (Q1799291) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- Skew lattices and binary operations on functions (Q2446546) (← links)
- Ternary and quaternary deductive terms for Nelson algebras (Q2583591) (← links)
- Quasi-Nelson; or, non-involutive Nelson algebras (Q2658305) (← links)
- VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS (Q2986033) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- (Q3433171) (← links)
- (Q3466619) (← links)
- The Logic of Quasi-MV Algebras (Q3553924) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- (Q4657796) (← links)
- Nelson’s logic 𝒮 (Q5022331) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
- (Q5411478) (← links)
- (Q5453728) (← links)
- (Q5505773) (← links)
- Algebraic Semantics for Nelson's Logic S (Q6299716) (← links)