When Proofs Meet Paradox: Machine-Verified Foundations for Epiplexity Theory
Fields of Study & Subjects
Logic
programming
and type systems
Computability
AI Algorithms
Reasoning
and Knowledge
Publication details
- Publication date
- 1 January 2026
- Language
- EN