Conserving involution in residuated structures

DOI10.1002/malq.200610052zbMath1140.03041OpenAlexW2071073966MaRDI QIDQ5434203

Ai-ni Hsieh, James G. Raftery

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

zbMATH Keywords

embeddinginvolutionsubstructural logicsseparationresiduation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

Structural completeness in relevance logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Singly generated quasivarieties and residuated structures ⋮ Contextual deduction theorems ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Compatibly involutive residuated lattices and the Nelson identity

Cites Work

• The Gentzenization and decidability of RW
• Models for entailment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conserving involution in residuated structures