Publications

The logic of quasi-MV algebras

Publication Type:

Journal Article

Authors:

Fèlix Bou; F. Paoli; Antonio Ledda; M. Spinks; R. Giuntini

Source:

Journal of Logic and Computation, Volume 20, Issue 2, p.619-643 (2010)

Abstract:

The algebraic theory of quasi-MV algebras, generalisations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define several interesting logics from these structures, so far this aspect has not been investigated. The present paper aims at filling this gap.

Projects: 
MULOG 2
»