Distribution in the logic of meaning containment and in quantum mechanics
From MaRDI portal
Publication:4912993
DOI10.1007/978-94-007-4438-7_13zbMATH Open1261.03023OpenAlexW2143219302MaRDI QIDQ4912993FDOQ4912993
Authors: Andrea Meinander, Ross T. Brady
Publication date: 2 April 2013
Published in: Paraconsistency: Logic and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-4438-7_13
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) General and philosophical questions in quantum theory (81P05)
Cites Work
- Consistent Quantum Theory
- Universal logic
- The undecidability of entailment and relevant implication
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An alternative semantics for quantified relevant logic
- Title not available (Why is that?)
- An introduction to non-classical logic
- Title not available (Why is that?)
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Logical pluralism
- Validity concepts in proof-theoretic semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantics for quantified relevance logic
- Relevant implication and the case for a weaker logic
- Negation in metacomplete relevant logics
- Gentzenizations of relevant logics without distribution. I
- Gentzenizations of relevant logics without distribution. II
- Title not available (Why is that?)
- Normalized natural deduction systems for some relevant logics I: The logic DW
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The geometry of non-distributive logics
- What is wrong with Cantor's diagonal argument?
- Gentzenizations of relevant logics with distribution
Cited In (8)
This page was built for publication: Distribution in the logic of meaning containment and in quantum mechanics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4912993)