Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors
| 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 topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] |
| 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-VAN00278240 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||