Pregled bibliografske jedinice broj: 287021
A New Axiomatization of Unified Quantum Logic
A New Axiomatization of Unified Quantum Logic // International Journal of Theoretical Physics, 31 (1992), 9; 1753-1766 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 287021 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A New Axiomatization of Unified Quantum Logic
Autori
Pavičić, Mladen
Izvornik
International Journal of Theoretical Physics (0020-7748) 31
(1992), 9;
1753-1766
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
quantum logic; quantum measurements
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Fizika
POVEZANOST RADA
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
Uključenost u ostale bibliografske baze podataka::
- The INSPEC Science Abstracts series
- Mathematical Reviews
