Conserving involution in residuated structures
From MaRDI portal
Publication:5434203
DOI10.1002/malq.200610052zbMath1140.03041MaRDI QIDQ5434203
Publication date: 4 January 2008
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610052
03G25: Other algebras related to logic
06F05: Ordered semigroups and monoids
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Singly generated quasivarieties and residuated structures, Structural completeness in relevance logics, Contextual deduction theorems, Varieties of De Morgan monoids: minimality and irreducible algebras, Compatibly involutive residuated lattices and the Nelson identity
Cites Work