Heyting Algebras : Duality Theory / Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Esakia, Leo
|
| Titolo: |
Heyting Algebras : Duality Theory / Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors
|
| Pubblicazione: | Cham, : Springer, 2019 |
| Titolo uniforme: | Heyting Algebras |
| Descrizione fisica: | xv, 95 p. ; 24 cm |
| Soggetto topico: | 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
| 06D20 - Heyting algebras (lattice-theoretic aspects) [MSC 2020] | |
| Soggetto non controllato: | Closure Algebra |
| Esakia Duality | |
| Esakia Space | |
| Heyting Algebra | |
| Intermediate Logics | |
| Intuitionistic Logic | |
| Modal Logic | |
| Skeletal Closure Algebras | |
| Stone Space | |
| Stone Space and Kripke Frame | |
| Persona (resp. second.): | Bezhanishvili, Guram |
| Holliday, Wesley H. | |
| Titolo autorizzato: | Heyting Algebras |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN00126901 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-3-030-12096-2 |
| Opac: | Controlla la disponibilità qui |
Serie:
Trends in logic : studia logica library Berlin [etc.] . -Springer , 1997- ; 50