Zobrazeno 1 - 10
of 273
pro vyhledávání: '"Giuntini, R"'
A holistic extension of classical propositional logic is introduced in the framework of quantum computation with mixed states. The concepts of tautology and contradiction are investigated in this extensions. A special family of quantum states are inv
Externí odkaz:
http://arxiv.org/abs/1904.04561
Publikováno v:
In Fuzzy Sets and Systems 15 March 2018 335:94-111
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a possible pure s
Externí odkaz:
http://arxiv.org/abs/quant-ph/0305029
In the qubit semantics the \emph{meaning} of any sentence $\alpha$ is represented by a \emph{quregister}: a unit vector of the $n$--fold tensor product $\otimes^n \C^2$, where $n$ depends on the number of occurrences of atomic sentences in $\alpha$.
Externí odkaz:
http://arxiv.org/abs/quant-ph/0211190
Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the square
Externí odkaz:
http://arxiv.org/abs/quant-ph/0201013
Autor:
Chiara, M. L. Dalla, Giuntini, R.
We investigate some forms of quantum logic arising from the standard and the unsharp approach.
Comment: 100 pages
Comment: 100 pages
Externí odkaz:
http://arxiv.org/abs/quant-ph/0101028
Publikováno v:
The Journal of Symbolic Logic, 2016 Jun 01. 81(2), 629-640.
Externí odkaz:
http://www.jstor.org/stable/43864315
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Philosophical Logic, 2013 Jun 01. 42(3), 467-481.
Externí odkaz:
http://dx.doi.org/10.1007/s10992-013-9271-9