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.

Sorbi, A., & Terwijn, S. (2012). Intuitionistic logic and Muchnik degrees. ALGEBRA UNIVERSALIS, 67(2), 175-188 [10.1007/s00012-012-0176-1].

Intuitionistic logic and Muchnik degrees

SORBI, ANDREA;
2012

Abstract

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.
Sorbi, A., & Terwijn, S. (2012). Intuitionistic logic and Muchnik degrees. ALGEBRA UNIVERSALIS, 67(2), 175-188 [10.1007/s00012-012-0176-1].
File in questo prodotto:
File Dimensione Formato  
fulltext-muchnik.pdf

non disponibili

Descrizione: Articolo unico
Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 417.68 kB
Formato Adobe PDF
417.68 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/8832