Extended implicative groupoids

In this paper, we generalize the concept of extended order algebras in order to get a new algebraic structure called “extended implicative groupoid”. First, we define the notions of pre-weak extended, weak extended, right extended and left extended implicative groupoid. Then we introduce the concept...

Full description

Saved in:
Bibliographic Details
Published in:Journal of intelligent & fuzzy systems 2021-01, Vol.40 (1), p.1261-1275
Main Authors: Sameri, E., Borzooei, R.A.
Format: Article
Language:English
Subjects:
Lattices
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we generalize the concept of extended order algebras in order to get a new algebraic structure called “extended implicative groupoid”. First, we define the notions of pre-weak extended, weak extended, right extended and left extended implicative groupoid. Then we introduce the concept of extended implicative groupoid by using these notions. In addition, the special properties of these structures, such as the existence of MacNeille completion and adjoint product are studied. Finally, we prove that the class of symmetrical associative complete distributive extended implicative groupoids, coincides with complete residuated lattices.
ISSN:1064-1246
1875-8967
DOI:10.3233/JIFS-201575