The following pages link to (Q3475268):
Displaying 17 items.
- Integrally closed residuated lattices (Q831226) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- On Birkhoff's common abstraction problem (Q1935562) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- The Hahn embedding theorem for a class of residuated semigroups (Q2027209) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- On the algebraizability of the implicational fragment of abelian logic (Q2259001) (← links)
- \(\bigstar\)-autonomous lattices and fuzzy sets (Q2500766) (← links)
- Involutive uninorm logic with fixed point enjoys finite strong standard completeness (Q2700813) (← links)
- Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups (Q4345023) (← links)
- (Q4603449) (← links)
- (Q4789570) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- The eal truth (Q5179272) (← links)
- Linear abelian modal logic (Q6555699) (← links)
