GP’s LP

DOI10.1007/978-3-030-25365-3_23zbMath1469.03081OpenAlexW2997698637MaRDI QIDQ3305678

Neil Tennant

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_23

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

Related Items (2)

Optimization Methods: An Applications-Oriented Primer ⋮ Normalisation for Some Quite Interesting Many-Valued Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of paradox
• Handbook of philosophical logic. Vol. 6
• THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS
• Proof and Paradox
• On Paradox without Self-Reference
• CUT FOR CLASSICAL CORE LOGIC
• A New Unified Account of Truth and Paradox
• The independence of connectives

This page was built for publication: GP’s LP