Separation in Point-Free Topology / Jorge Picado, Aleš Pultr |
Autore | Picado, Jorge |
Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2021 |
Descrizione fisica | xxi, 281 p. : ill. ; 24 cm |
Altri autori (Persone) | Pultr, Aleš |
Soggetto topico |
54-XX - General topology [MSC 2020]
54Axx - Generalities in topology [MSC 2020] 06D22 - Frames, locales [MSC 2020] 54D10 - Lower separation axioms ($T_0$–$T_3$, etc.) [MSC 2020] |
Soggetto non controllato |
Frames
Heyting algebras Locales Point-free topology Separation axioms Sublocales |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0274471 |
Picado, Jorge
![]() |
||
Cham, : Birkhäuser, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xi, 313 p. : ill. ; 24 cm |
Soggetto non controllato |
Adding Constants to FDE-based Logics
Canonical Models and Yankov Formulas Characteristic Formula Constructive Proofs based on Dialogical Interpretatio Frame and Subframe Formula Greek Philosophy and Mathematics Heyting algebras Intuitionistic Logic Invariance Modality Lattice NExtS4 as a Puzzle Composed of NExtInt-Pieces Lattice of Superintuitionistic Propositional Logics Markov’s Constructivism Modal Canonical Formulas Modal Logic Pretabular Intermediate Logics Propositional logic Splitting Algebra Ultra-intuitionism Yankov Characteristic Formulas |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0278240 |
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|