We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Lógica cuántica, Nmatrices y adecuación, II.
- Authors
Pablo Jorge, Juan; Holik, Federico
- Abstract
By elaborating on the results presented in Lógica cuántica, Nmatrices y adecuación I, here we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics based on Nmatrices. We present a proof of the impossibility of providing a functional semantics for the quantum lattice. An advantage of our proof is that it is independent of the number of truth values involved, generalizing previous works. Due to the impossibility of defining adequate interpreting sets for the conjunction and disjunction (as was shown in our previous work), it follows that a homomorphism between the lattice of quantum projections and a Boolean algebra of n-elements cannot exist.
- Subjects
QUANTUM logic; KOCHEN-Specker theorem; QUANTUM mechanics; TRUTH tables (Mathematical logic); HOMOMORPHISMS
- Publication
Teorema, 2023, Vol 42, Issue 1, p149
- ISSN
0210-1602
- Publication type
Article