IRIS

We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.

Sorbi, A., Terwijn, S. (2008). Intermediate logics and factors of the Medvedev lattice. ANNALS OF PURE AND APPLIED LOGIC, 155(2), 69-85 [10.1016/j.apal.2008.03.002].

Intermediate logics and factors of the Medvedev lattice

SORBI, ANDREA;
2008-01-01

Abstract

We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
2008
ANNALS OF PURE AND APPLIED LOGIC
Sorbi, A., Terwijn, S. (2008). Intermediate logics and factors of the Medvedev lattice. ANNALS OF PURE AND APPLIED LOGIC, 155(2), 69-85 [10.1016/j.apal.2008.03.002].
1.1 Articolo in rivista
File in questo prodotto:
File Dimensione Formato  
interemediate-apal.pdf

non disponibili

Descrizione: Articolo unico
Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 467.62 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
467.62 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/8817