Conserving involution in residuated structures

DOI10.1002/MALQ.200610052MaRDI QIDQ5434203zbMATH OpenOpenAlexFDO

Authors Ai-ni Hsieh, J. 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

embeddinginvolutionseparationsubstructural logicsresiduation

Mathematics Subject Classification ID

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

Recommendations

• Residuated structures with involution
• Adding involution to residuated structures
• Structures preserved by matrix inversion
• scientific article; zbMATH DE number 3958166
• Extending invariant complex structures
• Structures preserved by generalized inversion and Schur complementation
• Related structures with involution
• An introduction to involutive structures
• On the reflection invariance of residuated chains
• Preserving homology

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1984514 (Why is no real title available?)
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• scientific article; zbMATH DE number 1406808 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• Models for entailment
• The Gentzenization and decidability of RW

Cited in

(16)

• Join-semilattices whose sections are residuated PO-monoids
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Contextual deduction theorems
• Extensions of posets with an antitone involution to residuated structures
• Structural completeness in relevance logics
• Constructions preserving evasiveness and collapsibility
• scientific article; zbMATH DE number 2059297 (Why is no real title available?)
• Singly generated quasivarieties and residuated structures
• Adding involution to residuated structures
• On canonical embeddings of residuated groupoids
• Compatibly involutive residuated lattices and the Nelson identity
• Closure operators and complete embeddings of residuated lattices
• On pretabular extensions of relevance logic
• Completion and finite embeddability property for residuated ordered algebras.
• Residuated structures with involution
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434203)