Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
395057 | Information Sciences | 2012 | 8 Pages |
Abstract
Basic algebras (or lattices with section antitone involutions) turned out to be appropriate structures when axiomatizing both many-valued and quantum logics, see e.g. [11]. The aim of the present paper is to describe the variety of basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Ivan Chajda, RadomÃr HalaÅ¡,