Distribution in the logic of meaning containment and in quantum mechanics
pp. 223-255
Abstrakt
The paper examines the sentential and quantificational forms of distribution in classical, intuitionistic and relevant logics, and in relation to quantum mechanics. Particular attention is also paid to the first author's logic MCQ of meaning containment. The ultimate aim is to determine whether distribution should be included and, if so, in what forms. We conclude that the sentential and existential rule-forms, both derivable from the two-premise meta-rules of MCQ, are the only two forms that generally hold.
Publication details
Published in:
Tanaka Koji, Berto Francesco, Mares Edwin D., Paoli Francesco (2013) Paraconsistency: logic and applications. Dordrecht, Springer.
Seiten: 223-255
DOI: 10.1007/978-94-007-4438-7_13
Referenz:
Brady Ross T., Meinander Andrea (2013) „Distribution in the logic of meaning containment and in quantum mechanics“, In: K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, 223–255.