The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typical questions are: Is the quotient a Brouwer algebra? If so, which Brower algebras can be embedded in it, and what are the propositional identities?
Sorbi, A. (1991). Some Quotient Lattices of the Medvedev Lattice. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 37(2), 167-182 [10.1002/malq.19910370905].
Some Quotient Lattices of the Medvedev Lattice
Sorbi A.
1991-01-01
Abstract
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typical questions are: Is the quotient a Brouwer algebra? If so, which Brower algebras can be embedded in it, and what are the propositional identities?File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
quotient-lattices.pdf
non disponibili
Descrizione: Articolo
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
852.64 kB
Formato
Adobe PDF
|
852.64 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/1082784