Second-order logic of paradox
From MaRDI portal
Publication:1633895
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
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