Natural Factors of the Muchnik Lattice Capturing IPC
The Annals of Pure and Applied Logic 164(10), 2013, 1025-1036 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 purel...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | The Annals of Pure and Applied Logic 164(10), 2013, 1025-1036 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. |
|---|---|
| DOI: | 10.48550/arxiv.1210.6538 |