Extended-order algebras |
| |
Institution: | Department of Mathematics, “E. De Giorgi”—University of Salento, P.O. Box 193, 73100 Lecce, Italy |
| |
Abstract: | Extended-order algebras are defined, whose operation extends the order relation of a poset with a greatest element. Most implicative algebras, including Hilbert algebras and BCK algebras fall within this context. 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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|