Pregled bibliografske jedinice broj: 287044
Kripkean Semantics for Quantum Logic
Kripkean Semantics for Quantum Logic // International Symposium on Mathematical Physics, December 5-8, 1989, University of Torun, Poland
Toruń, Poljska, 1989. (pozvano predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni)
CROSBI ID: 287044 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Kripkean Semantics for Quantum Logic
Autori
Pavičić, Mladen
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, neobjavljeni rad, znanstveni
Skup
International Symposium on Mathematical Physics, December 5-8, 1989, University of Torun, Poland
Mjesto i datum
Toruń, Poljska, 05.12.1989. - 08.12.1989
Vrsta sudjelovanja
Pozvano predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
quantum logic; Kripkean semantics
Sažetak
A modal Kripkean semantics for quantum logic is presented. Soundness and completeness is proved.
Izvorni jezik
Engleski
Znanstvena područja
Fizika
