The following pages link to (Q4011728):
Displaying 17 items.
- Fregean logics (Q598302) (← links)
- The commutator in equivalential algebras and Fregean varieties (Q634757) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- On the structure of varieties with equationally definable principal congruences. IV (Q1315322) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- On algebras and varieties with semilattice reducts (Q1802261) (← links)
- The structure of completely meet irreducible congruences in strongly Fregean algebras (Q2159489) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Logic in Whitehead's universal algebra (Q2910351) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- A Mathematical Life (Q4586411) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- (Q4793036) (← links)
- (Q4942686) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
