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

Authors
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 No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370334
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
Through your library

References found in this work BETA

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

Citations of this work BETA

Some Remarks on Axiomatizing Logical Consequence Operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
66 ( #177,134 of 2,533,484 )

Recent downloads (6 months)
1 ( #391,480 of 2,533,484 )

How can I increase my downloads?

Downloads

My notes