The following pages link to (Q4273420):
Displayed 9 items.
- Fregean logics (Q598302) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← 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)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)