Extended-order algebras
type: Item
instance of: scholarly article
title: Extended-order algebras
zbMATH Open document ID: 1157.03041
author: Cosimo Guido
author: Paola Toto
published in: Journal of Applied Logic
publication date: 2008-12-11T00:00:00Z
review text: A weak extended-order algebra is a triplet \((A,\rightarrow ,1)\) of type \( (2,0)\) such that for all \(a,b,c\in A,\) the following conditions are satisfied: \(a\rightarrow 1=a\rightarrow a=1,\) if \(a\rightarrow b=b\rightarrow a=1\) then \(a=b\), and if \(a\rightarrow b=b\rightarrow c=1\) then \(a\rightarrow c=1.\) If \(a\rightarrow b=1\) then \((c\rightarrow a)\rightarrow (c\rightarrow b)=1\), and if \((b\rightarrow c)\rightarrow (a\rightarrow c)=1\) then \(A\) is called extended-order algebra (as example we have Hilbert algebras and BCK-algebras). For any weak extended-order algebra \(A,\) the relation \(a\leq b\) if and only if \(a\rightarrow b=1\) is an order relation in \(A\) (called natural ordering in \(A).\) Moreover, \(1\) is the top element in \((A,\leq )\). In this paper, several classes of extended-order algebras are considered that lead to most well-known multiplicative ordered structures by means of adjunction, once the completion process due to MacNeille is applied. In particular, complete distributive extended-order algebras are considered as a generalization of complete residuated lattices to provide a structure that suits quite well for many-valued mathematics.
reviewed by: Dana Piciu
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06F05
zbMATH DE Number: 5380984
zbMATH Keywords: poset
zbMATH Keywords: complete lattice
zbMATH Keywords: extended-order algebra
zbMATH Keywords: implication algebra
zbMATH Keywords: partially ordered groupoid
zbMATH Keywords: residuated lattice
zbMATH Keywords: many-valued mathematics
MaRDI profile type: Publication
full work available at URL: j.jal.2008.01.001
OpenAlex ID: W2048315902
cites work: Q5559564
cites work: Fuzzy Galois Connections
cites work: Fuzzy closure operators. II: Induced relations, representation, and examples
cites work: Q4828294
cites work: Concept lattices and order in fuzzy logic
cites work: Algebras defined from ordered sets and the varieties they generate
cites work: Q5532570
cites work: Representations and constructions of similarity-based fuzzy orderings.
cites work: Q4950672
cites work: Q3024391
cites work: Algebraic foundations of many-valued reasoning
cites work: Q4308447
cites work: Q5519895
cites work: Conjunctors and their residual implicators: characterizations and construction methods
cites work: The variety generated by order algebras.
cites work: Transporting many-valued sets along many-valued relations
cites work: Non-dual fuzzy connections
cites work: L-fuzzy sets
cites work: Many-valued logic and fuzzy set theory
cites work: Remarks on commutative Hilbert algebras
cites work: Metamathematics of fuzzy logic
cites work: Many valued topology and its applications
cites work: Q4490110
cites work: Q3508717
cites work: Q4165379
cites work: Q4256083
cites work: Q4490303
cites work: An algebraic approach to non-classical logics
cites work: Continuity in quantitative domains
DOI: 10.1016/J.JAL.2008.01.001
description: scientific article; zbMATH DE number 5380984