Extended Quantum Logic
Author: Tokuo, K.
Source: Journal of Philosophical Logic, Volume 32, Number 5, October 2003 , pp. 549-563(15)
The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.
Document Type: Research Article
Affiliations: Graduate School of Human and Environmental Studies, Kyoto University, Kyoto, Japan e-mail: firstname.lastname@example.org
Publication date: October 1, 2003