Strong versus weak quantum consequence operations

Studia Logica 51 (1):113 - 123 (1992)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 74,466

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

66 (#179,288)

6 months
1 (#417,143)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Amsterdam, Netherlands: Warszawa, Pwn - Polish Scientific Publishers.
Semantic Analysis of Orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
Equivalential Logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.

View all 13 references / Add more references