Partial algebras for Łukasiewicz logics and its extensions
From Mathfuzzlog
Authors: |
| |
Title: | Partial algebras for Łukasiewicz logics and its extensions | |
Journal: | Archive for Mathematical Logic | |
Volume | 44 | |
Number | ||
Pages: | 913 - 933 | |
Year: | 2005 |
Abstract
We consider several logics differing from Lukasiewicz logics in that they contain further connectives: the logic PL, PL', PL'Δ, and LΠ. For their algebraic counterparts, we characterise the corresponding type of partial algebras; and we moreover consider the representing f-rings, constructed in a transparent way from the partial algebras - just like po-groups from effect algebras. All in all, we get three-fold correspondences: the total algebras - the partial algebras - the representing rings.