## A new axiomatization of unified quantum logic (1992)

by
M. Pavičić

Venue: | International Journal of Theoretical Physics |

Citations: | 1 - 1 self |

### BibTeX

@ARTICLE{Pavičić92anew,

author = {M. Pavičić},

title = {A new axiomatization of unified quantum logic},

journal = {International Journal of Theoretical Physics},

year = {1992},

volume = {31},

pages = {1753--1776}

}

### OpenURL

### Abstract

Summary. 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. PACS numbers: 03.65.Bz — Quantum logic, quantum measurements. 1.