The Logic of Quasi-MV Algebras

13 years 9 months ago

Download www.scform.unica.it

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 deﬁne several interesting logics from these structures, so far this aspect has not been investigated. The present paper aims at ﬁlling this gap.

Félix Bou, Francesco Paoli, Antonio Ledda,

Real-time Traffic

Algebraic Theory | Interesting Logics | LOGCOM 2010 | Quasi-MV Algebras |

claim paper

» On BCK Algebras Part Ia An Attempt to Treat Unitarily the Algebras of Logic New Algebras

» On BCK Algebras Part Ib An Attempt to Treat Unitarily the Algebras of Logic New Algebras

» Algebra for Infinite Forests with an Application to the Temporal Logic EF

» Categorical Abstract Algebraic Logic Algebraizable Institutions

» On Teaching Logic and Algebraic Specification

» Algebraic Valuations as Behavioral Logical Matrices

» Fork Algebras as a Sufficiently Rich Universal Institution

» Representation of States on MValgebras by Probabilities on Rgenerated Boolean Algebras

Post Info
More Details (n/a)

Added	29 Jan 2011
Updated	29 Jan 2011
Type	Journal
Year	2010
Where	LOGCOM
Authors	Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini

Comments (0)

Sciweavers

The Logic of Quasi-MV Algebras

Algebraic Theory | Interesting Logics | LOGCOM 2010 | Quasi-MV Algebras |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers