Strong versus weak quantum consequence operations (Q1194110)

The question of consequence operations determined by (classes of) ortholattices is considered. The two logics go back to \textit{R. Goldblatt} [J. Philos. Log. 3, 19-35 (1974; Zbl 0278.02023)] and \textit{G. Kalmbach} [Z. Math. Log. Grundlagen Math. 20, 395-406 (1974; Zbl 0373.02030)] respectively; the attributes `strong' and `weak' are due to \textit{M. L. Dalla Chiara} [Handbook of Philosophical Logic, Vol. III, 427-469 (1985; Zbl 0603.03001)]. Here it is proved that some of the properties usually considered as desirable for a logic, force any strong orthologic to be classical; this result has no full counterparts for weak logics. The necessary preliminaries are carefully explained in the first half of the paper.