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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The road to universal logic : festschrift for the 50 . birthday of Jean-Yves Béziau 2 / Arnold Koslow, Arthur Buchsbaum |
Autore | Koslow, Arnold |
Edizione | [Cham : Birkhäuser, 2015] |
Pubbl/distr/stampa | XV, 604 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
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] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0113375 |
Koslow, Arnold
![]() |
||
XV, 604 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The road to universal logic : festschrift for the 50. birthday of Jean-Yves Béziau Vol. 1 / Arnold Koslow, Arthur Buchsbaum editors |
Pubbl/distr/stampa | Cham, : Birkhäuser, 2015 |
Descrizione fisica | XII, 520 p. : ill. ; 24 cm |
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 Square of opposition |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0125360 |
Cham, : Birkhäuser, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The road to universal logic : festschrift for the 50 . birthday of Jean-Yves Béziau 1 / Arnold Koslow, Arthur Buchsbaum editors |
Edizione | [Cham : Birkhäuser, 2015] |
Pubbl/distr/stampa | XII, 520 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
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] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0125360 |
XII, 520 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Unknown as an Engine for Science : An Essay on the Definite and the Indefinite / Hans J. Pirner |
Autore | Pirner, Hans J. |
Edizione | [Cham : Springer, 2015] |
Pubbl/distr/stampa | xvii, 146 p., : ill. ; 24 cm |
Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03A10 - Logic in the philosophy of science [MSC 2020] |
Soggetto non controllato |
Complexity in Theory
Edge of Science Information and Knowledge Known and Unknown Limits of Scientific Knowledge Philosophy and Physics Uncertainty in Science Vagueness and Language Value of Information |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0133911 |
Pirner, Hans J.
![]() |
||
xvii, 146 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|