The following pages link to (Q4273420):
Displaying 12 items.
- Fregean logics (Q598302) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- On level-raising congruences (Q1049669) (← links)
- Algebraic semantics for deductive systems (Q1422450) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← 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)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
