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.
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
| Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
| Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
| Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114602 |
| [Cham], : Birkhäuser, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
| Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
| Soggetto topico |
03B16 - Higher-order logic [MSC 2020]
03B38 - Type theory [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] |
| Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114602 |
| [Cham], : Birkhäuser, : Springer, 2016 | ||
| 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 | ||
| ||