Natural Factors of the Muchnik Lattice Capturing IPC
Rutger Kuyper
TL;DR
This paper identifies natural factors of the Muchnik lattice that embody intuitionistic propositional logic, offering a computational semantics based on concepts like lowness and hyperimmune-freeness.
Contribution
It introduces natural examples of Muchnik lattice factors that capture IPC, connecting computational properties with logical semantics.
Findings
Factors of the Muchnik lattice capture IPC
Connections between computational properties and logic semantics
Provides a computational semantics for IPC
Abstract
We give natural examples of factors of the Muchnik lattice which capture intuitionistic propositional logic (IPC), arising from the concepts of lowness, 1-genericity, hyperimmune-freeness and computable traceability. This provides a purely computational semantics for IPC.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Logic, Reasoning, and Knowledge · Semantic Web and Ontologies