Pages that link to "Item:Q3519801"
From MaRDI portal
The following pages link to ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801):
Displayed 24 items.
- Boolean-like algebras (Q353355) (← links)
- A new view of effects in a Hilbert space (Q514507) (← links)
- Joins and subdirect products of varieties (Q634765) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Some properties of pseudo-BCK- and pseudo-BCI-algebras (Q1794954) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
- On prevarieties of logic (Q2324841) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS (Q2986033) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- (Q5179145) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)