izvor podataka: crosbi
✓
Unified Quantum Logic (CROSBI ID 129821)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Pavičić, Mladen
Unified Quantum Logic // Foundations of physics, 19 (1989), 8; 999-1016-x
Podaci o odgovornosti
Pavičić, Mladen
engleski
Unified Quantum Logic
Unified quantum logic based on unified operations of implication is formulated as an axiomatic calculus. Soundness and completeness are demonstrated using standard algebraic techniques. An embedding of quantum logic into a new modal system is carried out and discussed.
unified quantum logic; unified operations of implication
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove
