izvor podataka: crosbi
✓
A New Axiomatization of Unified Quantum Logic (CROSBI ID 129828)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Pavičić, Mladen
A New Axiomatization of Unified Quantum Logic // International journal of theoretical physics, 31 (1992), 9; 1753-1766-x
Podaci o odgovornosti
Pavičić, Mladen
engleski
A New Axiomatization of Unified Quantum Logic
Unified quantum logic which is a propositional logic underlying quantum formalism is given a new much simplified axiomatization. A statistical basis for this propositional logical system is given so as to interpret unified quantum logic as a system of deduction. The soundness and completeness of algebraic semantics are proved. Kripkean and probabilistic semantics are discussed.
quantum logic; quantum measurements
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove
Fizika
Poveznice
Indeksiranost