Residuation in commutative ordered monoids with minimal zero

MaRDI QIDQ2752408zbMATH OpenFDO

Authors J. G. Raftery, C. J. van Alten

Publication date 4 November 2002

Published in Reports on Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

assertional logicBCI-algebralocal deduction detachment theoremquasivariety semanticsrelatively congruence modularsemi-integral residuated commutative monoidsircomonoid

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) BCK-algebras, BCI-algebras (06F35) Quasivarieties (08C15)

Review text

The authors define a new algebraic system called semi-integral residuated commutative monoid (sircomonoid). An algebra \(B= \langle B;\oplus,\mathop{\dot-},0\rangle\) of type \(\langle 2,2,0\rangle\) is called a sircomonoid if it satisfies that for \(a,b,c\in B\), (i) \(\langle B;\oplus,0\rangle\) is a commutative monoid; (ii) the relation \(\leq\) defined by \(a\leq b\) iff \(a\mathop{\dot-} b=0\) is a partial order of \(B\); (iii) \(a\mathop{\dot-} b\leq c\) iff \(a\leq c\oplus b\); (iv) \(a\leq 0\) implies that \(a= 0\).NEWLINENEWLINENEWLINEThey consider fundamental properties of these algebras:NEWLINENEWLINENEWLINE1. Every BCI-algebra is a subalgebra of the reduct \(\langle B;\mathop{\dot-},0\rangle\) of a sircomonoid \(B= \langle B;\oplus,\mathop{\dot-},0\rangle\). Thus BCI-algebras are exactly the residuation subreducts of sircomonoids;NEWLINENEWLINENEWLINE2. The class \({\mathbf S}{\mathbf I}{\mathbf R}{\mathbf C}{\mathbf O}{\mathbf M}\) of all sircomonoids and the class \({\mathbf B}{\mathbf C}{\mathbf I}{\mathbf A}\) of all BCI-algebras are relatively congruence modular systems;NEWLINENEWLINENEWLINE3. \({\mathbf S}{\mathbf I}{\mathbf R}{\mathbf C}{\mathbf O}{\mathbf M}\) has \(2^{\aleph_0}\) subvarieties;NEWLINENEWLINENEWLINE4. \({\mathbf B}{\mathbf C}{\mathbf I}{\mathbf P}\) has a local deduction detachment theorem, where \({\mathbf B}{\mathbf C}{\mathbf I}{\mathbf P}\) means an assertional logic of \({\mathbf B}{\mathbf C}{\mathbf I}{\mathbf A}\), that is, a deductive system which has \({\mathbf B}{\mathbf C}{\mathbf I}{\mathbf A}\) as an equivalent quasivariety semantics.NEWLINENEWLINENEWLINEThis paper is very interesting and valuable to the progress of algebraic logic.

Recommendations

• Corrigendum: Residuation in commutative ordered monoids with minimal zero
• scientific article; zbMATH DE number 764336
• Theories of ordered commutative monoids
• Totally ordered commutative monoids
• Monadic bounded commutative residuated -monoids
• On finitely presented, cancellative and commutative ordered monoids
• The generalized residue classes and integral monoids with minimal sets
• On a class of residuated semilattice monoids
• Perfect residuated lattice ordered monoids
• The monoid of regular elements in commutative rings with zero divisors

Cited in

(10)

• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Some properties of pseudo-BCK- and pseudo-BCI-algebras
• Replacement in logic
• Variations on a theme of Curry
• scientific article; zbMATH DE number 1076476 (Why is no real title available?)
• Resource convertibility and ordered commutative monoids
• Corrigendum: Residuation in commutative ordered monoids with minimal zero
• Joins and subdirect products of varieties
• Contextual deduction theorems
• Integrally closed residuated lattices

This page was built for publication: Residuation in commutative ordered monoids with minimal zero

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