On very true operators on pocrims |
| |
Authors: | Radomír Hala? Michal Botur |
| |
Affiliation: | (1) Department of Algebra and Geometry, Palacky University Olomouc, Tomkova 40, 779 00 Olomouc, Czech Republic |
| |
Abstract: | Hájek introduced the logic enriching the logic BL by a unary connective vt which is a formalization of Zadeh’s fuzzy truth value “very true”. algebras, i.e., BL-algebras with unary operations, called vt-operators, which are among others subdiagonal, are an algebraic counterpart of Partially ordered commutative integral residuated monoids (pocrims) are common generalizations of both BL-algebras and Heyting
algebras. The aim of our paper is to introduce and study algebraic properties of pocrims endowed by “very-true” and “very-false”-like
operators.
Research is supported by the Research and Development Council of Czech Government via project MSN 6198959214. |
| |
Keywords: | Pocrim vt-operator wvt-operator MV-algebra BL-algebra |
本文献已被 SpringerLink 等数据库收录! |
|