Strong versus weak quantum consequence operations |
| |
Authors: | Jacek Malinowski |
| |
Affiliation: | (1) Section of Logic Institute of Philosophy and Sociology, Polish Academy of Sciences, Nowy wiat 72, 00-330 Warsaw, Poland |
| |
Abstract: | This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|