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.
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
| Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors |
| Edizione | [Cham : Birkhäuser 2018] |
| Pubbl/distr/stampa | xvi, 733 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 06Axx - Ordered sets [MSC 2020] 08Cxx - Other classes of algebras [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 06Fxx - Ordered structures [MSC 2020] 18Bxx - Special categories [MSC 2020] 94Dxx - Miscellaneous topics in information and communication theory [MSC 2020] |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124549 |
| xvi, 733 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
| Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser 2018 |
| Descrizione fisica | xvi, 733 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 06Axx - Ordered sets [MSC 2020] 08Cxx - Other classes of algebras [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 06Fxx - Ordered structures [MSC 2020] 18Bxx - Special categories [MSC 2020] 94Dxx - Miscellaneous topics in information and communication theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124549 |
| Cham, : Birkhäuser 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
| Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors |
| Pubbl/distr/stampa | Cham, : Birkhäuser 2018 |
| Descrizione fisica | xvi, 733 p. : ill. ; 24 cm |
| Soggetto topico |
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020]
03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 03Exx - Set theory [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] 03Gxx - Algebraic logic [MSC 2020] 06Axx - Ordered sets [MSC 2020] 06Fxx - Ordered structures [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 08Cxx - Other classes of algebras [MSC 2020] 18Bxx - Special categories [MSC 2020] 94Dxx - Miscellaneous topics in information and communication theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124549 |
| Cham, : Birkhäuser 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Descriptor Revision : Belief Change through Direct Choice / Sven Ove Hansson
| Descriptor Revision : Belief Change through Direct Choice / Sven Ove Hansson |
| Autore | Hansson, Sven-Ove |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xviii, 239 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] |
| Soggetto non controllato |
AGM Model
Belief Change Belief Revision Contraction Database Updating Descriptor Revision Epistemic Entrenchment Global descriptor revision Local descriptor revision Possible world models Ramsey descriptors Revocation Theory Change Theory Revision |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124175 |
Hansson, Sven-Ove
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Descriptor Revision : Belief Change through Direct Choice / Sven Ove Hansson
| Descriptor Revision : Belief Change through Direct Choice / Sven Ove Hansson |
| Autore | Hansson, Sven-Ove |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xviii, 239 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] |
| Soggetto non controllato |
AGM Model
Belief Change Belief Revision Contraction Database Updating Descriptor Revision Epistemic Entrenchment Global descriptor revision Local descriptor revision Possible world models Ramsey descriptors Revocation Theory Change Theory Revision |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124175 |
|
Hansson, Sven-Ove
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Descriptor Revision : Belief Change through Direct Choice / Sven Ove Hansson
| Descriptor Revision : Belief Change through Direct Choice / Sven Ove Hansson |
| Autore | Hansson, Sven-Ove |
| Edizione | [Cham : Springer, 2017] |
| Pubbl/distr/stampa | xviii, 239 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124175 |
|
Hansson, Sven-Ove
|
||
| xviii, 239 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli
| 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
| 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 | ||
| ||
The road to universal logic : festschrift for the 50. birthday of Jean-Yves Béziau Vol. 2 / Arnold Koslow, Arthur Buchsbaum
| The road to universal logic : festschrift for the 50. birthday of Jean-Yves Béziau Vol. 2 / Arnold Koslow, Arthur Buchsbaum |
| Autore | Koslow, Arnold |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2015 |
| Descrizione fisica | XV, 604 p. : ill. ; 24 cm |
| Altri autori (Persone) | Buchsbaum, Arthur |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03G30 - Categorical logic, topoi [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B22 - Abstract deductive systems [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B62 - Combined logics [MSC 2020] |
| Soggetto non controllato |
Abstract deductive systems
Categorical logic History of logic Non-classical logics Philosophy of logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113375 |
|
Koslow, Arnold
|
||
| Cham, : Birkhäuser, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The road to universal logic : festschrift for the 50. birthday of Jean-Yves Béziau Vol. 2 / Arnold Koslow, Arthur Buchsbaum
| The road to universal logic : festschrift for the 50. birthday of Jean-Yves Béziau Vol. 2 / Arnold Koslow, Arthur Buchsbaum |
| Autore | Koslow, Arnold |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2015 |
| Descrizione fisica | XV, 604 p. : ill. ; 24 cm |
| Altri autori (Persone) | Buchsbaum, Arthur |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B22 - Abstract deductive systems [MSC 2020] 03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B62 - Combined logics [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] |
| Soggetto non controllato |
Abstract deductive systems
Categorical logic History of logic Non-classical logics Philosophy of logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113375 |
|
Koslow, Arnold
|
||
| Cham, : Birkhäuser, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020]
(16)
- 01Axx - History of mathematics and mathematicians [MSC 2020] (6)
- 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] (6)
- 03B22 - Abstract deductive systems [MSC 2020] (6)
- 03B62 - Combined logics [MSC 2020] (6)