Introduction

Sambasiva Rao Mukkamala ()
Additional contact information
Sambasiva Rao Mukkamala: MVGR College of Engineering, Department of Mathematics

Chapter Chapter 1 in A Course in BE-algebras, 2018, pp 1-4 from Springer

Abstract: Abstract ResiduationResiduation is one of the most important concepts of the theory of ordered algebraic structuresAlgebraic structure which naturally arises in many other fields of mathematics. The study of abstract residuated structures has originated from the investigation of ideal lattices of commutative rings with 1. In general, a partially ordered monoid is residuated if for all a, b in its universe there exist $$a\rightarrow b = \max \{c: ca\le b\}$$ and $$a\rightsquigarrow b = \max \{c:ac\le b\}$$ , and in other words, if for every a the translations $$x\rightarrow xa$$ and $$x\rightsquigarrow ax$$ are residuated mappings. If the multiplicative identity is the greatest element in the underlying order, then the monoid is integral. Residuation structures include lattice order groups and their negative cones as well as algebraic models of various propositional logics. In the logical context, the monoid operation $$\cdot $$ can be interpreted as conjunction and the residuals $$\rightarrow $$ and $$\rightsquigarrow $$ as two implications (they coincide if and only if the conjuncture is commutative).

Keywords: Negative Cone; Logical Context; Monoid; Implicative Filter; Bosbach States (search for similar items in EconPapers)
Date: 2018
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-981-10-6838-6_1

Ordering information: This item can be ordered from
http://www.springer.com/9789811068386

DOI: 10.1007/978-981-10-6838-6_1

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().