The following pages link to (Q3142030):
Displaying 19 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- \(M\)-sets and the representation problem (Q2350212) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras (Q4443419) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- A relational semantics for the logic of bounded lattices (Q5227167) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)