Heyting Algebras : Duality Theory / Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors |
Autore | Esakia, Leo |
Pubbl/distr/stampa | Cham, : Springer, 2019 |
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 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0126901 |
Esakia, Leo | ||
Cham, : Springer, 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Heyting Algebras : Duality Theory / Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors |
Autore | Esakia, Leo |
Pubbl/distr/stampa | Cham, : Springer, 2019 |
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 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00126901 |
Esakia, Leo | ||
Cham, : Springer, 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli |
Autore | Ciardelli, Ivano |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xx, 272 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
Soggetto non controllato |
Connections with dependence logic
Connections with intuitionistic logic Dependence Logic How classical logic can be made inquisitive Information Semantics Information Types Inquisitive Logic Intuitionistic Logic Logic of Dependency Logic of Questions Proofs-as-Programs Questions in first-order logic Questions in modal logic Questions in propositional logic Reasoning with questions Role of questions in logic |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0277663 |
Ciardelli, Ivano | ||
Cham, : Springer, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli |
Autore | Ciardelli, Ivano |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xx, 272 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
Soggetto non controllato |
Connections with dependence logic
Connections with intuitionistic logic Dependence Logic How classical logic can be made inquisitive Information Semantics Information Types Inquisitive Logic Intuitionistic Logic Logic of Dependency Logic of Questions Proofs-as-Programs Questions in first-order logic Questions in modal logic Questions in propositional logic Reasoning with questions Role of questions in logic |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00277663 |
Ciardelli, Ivano | ||
Cham, : Springer, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner |
Autore | Kapsner, Andreas |
Pubbl/distr/stampa | Cham, : Springer, 2014 |
Descrizione fisica | X, 217 p. : ill. ; 24 cm |
Soggetto topico |
03Bxx - General logic [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Analetheism
Anti-Realism Constructive logic Dialetheism Falsificationism Faultless Disagreement Intuitionistic Logic Kripke Semantics Michael Dummett Nelson Logic Paraconsistent Logic Philosophical Logic Strong Negation |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0103364 |
Kapsner, Andreas | ||
Cham, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logics and falsifications : a new perspective on constructivist semantics / Andreas Kapsner |
Autore | Kapsner, Andreas |
Pubbl/distr/stampa | Cham, : Springer, 2014 |
Descrizione fisica | X, 217 p. : ill. ; 24 cm |
Soggetto topico |
03Axx - Philosophical aspects of logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
Soggetto non controllato |
Analetheism
Anti-Realism Constructive logic Dialetheism Falsificationism Faultless Disagreement Intuitionistic Logic Kripke Semantics Michael Dummett Nelson Logic Paraconsistent Logic Philosophical Logic Strong Negation |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00103364 |
Kapsner, Andreas | ||
Cham, : Springer, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
Pubbl/distr/stampa | Cham, : Springer, 2021 |
Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B30 - Festschriften [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0274944 |
Cham, : Springer, 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
Pubbl/distr/stampa | Cham, : Springer, 2021 |
Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
Soggetto topico |
00B30 - Festschriften [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] |
Soggetto non controllato |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00274944 |
Cham, : Springer, 2021 | ||
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 |
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 |
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 | ||
|