Second-order logic of paradox

DOI10.1215/00294527-2018-0011zbMath1455.03032OpenAlexW2890251009MaRDI QIDQ1633895

Allen P. Hazen, Francis Jeffry Pelletier

Publication date: 21 December 2018

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1536653099

zbMATH Keywords

second-order logicidentitylogic of paradoxGraham Priest

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Higher-order logic (03B16)

Related Items

Pecularities of some three- and four-valued second order logics, On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\), Consistent theories in inconsistent logics, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, On Non-transitive “Identity”, Some Comments and Replies, Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of paradox
• Inconsistent models of arithmetic. I: Finite models
• Handbook of philosophical logic. Vol. 6
• A note on freedom from detachment in the logic of paradox
• A calculus of antinomics
• Logic of antinomies
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• Natural 3-valued logics—characterization and proof theory
• Completeness in the theory of types
• Axiom schemes for m-valued functional calculi of first order. Part II