Some algebraic structures for many-valued logics

Rok, strany: 1998, 173 - 195

Brouwer–Zadeh MV-algebras and de Morgan BZMV-algebras are the result of a natural “pasting” between Brouwer–Zadeh algebras and MV-algebras. Such structures are characterized by a splitting of the operations that correspond to the basic logical connectives ( not , and , or ). In this framework, we prove the categorical equivalence between different kinds of structures that have been introduced in order to semantically characterize some many-valued logics. In particular, we investigate the cases of Chang's MV-algebras, Cignoli–Monteiro Łukasiewicz algebras, Stonian MV-algebras.

ISO 690:

Cattaneo, G., Dalla Chiara, M., Giuntini, R. 1998. Some algebraic structures for many-valued logics. In Tatra Mountains Mathematical Publications, vol. 15, no.2, pp. 173-195. 1210-3195.

APA:

Cattaneo, G., Dalla Chiara, M., Giuntini, R. (1998). Some algebraic structures for many-valued logics. Tatra Mountains Mathematical Publications, 15(2), 173-195. 1210-3195.