Logic—The Big Picture

DOI10.1007/978-81-322-2719-9_17zbMath1423.03023OpenAlexW2464343837MaRDI QIDQ5241533

Ross T. Brady

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_17

zbMATH Keywords

applicationsnegationdisjunctiongeneral logicmeaning containment

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

The Number of Logical Values

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The simple consistency of naive set theory using metavaluations
• Free semantics
• Relevant restricted quantification
• A content semantics for quantified relevant logics. II
• A metacompleteness theorem for contraction-free relevant logics
• A content semantics for quantified relevant logics. I
• Relevant implication and the case for a weaker logic
• Metacompleteness
• FOUR BASIC LOGICAL ISSUES
• Gentzenizations of relevant logics without distribution. I
• Gentzenizations of relevant logics without distribution. II
• Distribution in the Logic of Meaning Containment and in Quantum Mechanics
• Normalized natural deduction systems for some relevant logics I: The logic DW
• The completeness of the first-order functional calculus