1,721,007 research outputs found
Logical approach for two-valued states on quantum systems
No full textIn this paper we develop a logical system associated to two-valued states on orthomodular lattices. An completeness theorem with respect to a variety of orthomodular lattices enriched with an unary operation that represents two-valued states is given
Quantum computational structures: Categorical equivalence for square root qMV -algebras
No full textIn this paper we investigate a categorical equivalence between square root
qMV -algebras (a variety of algebras arising from quantum computation) and a category
of preordered semigroups
Injectives in residuated algebras
No full textInjectives in several classes of structures associated with logic are characterized.
Among the classes considered are residuated lattices, MTL-algebras, IMTL-algebras, BLalgebras,
NM-algebras and bounded hoop
Pavelka-style completeness in expansions of Łukasiewicz Logic
No full textAn algebraic setting for the validity of Pavelka style completeness for
some natural expansions of Łukasiewicz logic by new connectives and rational constants
is given. This algebraic approach is based on the fact that the standard MValgebra
on the real segment [0, 1] is an injective MV-algebra. In particular the logics
associated with MV-algebras with product and with divisible MV-algebras are considered
Fuzzy propositional logic associated with quantum computational gates
No full textWe apply residuated structures associated with fuzzy logic to develop certain aspects of 6
information processing in quantum computing from a logical perspective. For this pur- 7
pose, we introduce an axiomatic system whose natural interpretation is the irreversible 8
quantum Poincar ́e structur
Fuzzy approach to quantum Fredkin gate
Full text linkIn the framework of quantum computation with mixed states, we introduce a fuzzy approach to the quantum Fredkin gate. Under this perspective, we investigate the behaviour of the gate applied to factorized and non-factorized quantum states
A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0
No full textIn this work, we investigate a categorical equivalence between the class of bounded distributive quasi lattices that satisfy the quasiequation x∨0=0 =⇒ x = 0, and a category whose objects are sheaves over Priestley spaces
Categories of semigroups in quantum computational structures
No full textWe investigate a categorial duality between quasi MV-algebras
(a variety of algebras arising from quantum computation and tightly connected
with fuzzy logic) and a reflective subcategory of l-groups with strong unit
- …
