Non-commutative ?ukasiewicz propositional logic |
| |
Authors: | Ioana Leu?tean |
| |
Institution: | (1) Faculty of Mathematics and Computer Science, University of Bucharest, Str. Academiei 14, 70109 Bucharest, Romania |
| |
Abstract: | The non-commutative counterpart of the well-known Łukasiewicz propositional logic is developed, in strong connection with
the algebraic theory of psMV-algebras. An extension by a new unary logical connective is also considered and a stronger completeness result is proved
for this system. |
| |
Keywords: | Ł ukasiewicz logic psMV-algebras |
本文献已被 SpringerLink 等数据库收录! |