arXiv Open Access 2010

Intuitionistic Logic and Muchnik Degrees

Andrea Sorbi Sebastiaan A. Terwijn

Lihat Sumber

Abstrak

We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic. This complements a now classic result of Skvortsova for the Medvedev lattice.

Topik & Kata Kunci

math.LO

Penulis (2)

Andrea Sorbi

Sebastiaan A. Terwijn

Format Sitasi

APA MLA BibTeX

Sorbi, A., Terwijn, S.A. (2010). Intuitionistic Logic and Muchnik Degrees. https://arxiv.org/abs/1003.4489

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2010
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓