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.
Logics of Variable Inclusion / / by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
| Logics of Variable Inclusion / / by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi |
| Autore | Bonzio Stefano |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (227 pages) |
| Disciplina |
511.324
511.3 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Algebraic logic Logic, Symbolic and mathematical Algebraic Logic Mathematical Logic in Philosophy |
| ISBN | 3-031-04297-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Analyticity, Consequence, and Meaninglessness -- Chapter 2. Płonka Sums and Regular Varieties -- Chapter 3. Dualities for Regular Varieties -- Chapter 4. Logics of Left Variable Inclusion -- Chapter 5. Logics of Right Variable Inclusion -- Chapter 6. Paraconsistent Weak Kleene Logic. |
| Record Nr. | UNINA-9910741198403321 |
Bonzio Stefano
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-valued Logic for Decision-Making Under Uncertainty / / by Evgeny Kagan, Alexander Rybalov, Ronald Yager
| Multi-valued Logic for Decision-Making Under Uncertainty / / by Evgeny Kagan, Alexander Rybalov, Ronald Yager |
| Autore | Kagan Evgeny |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
| Descrizione fisica | 1 online resource (296 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
RybalovAlexander
YagerRonald |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Algebraic logic Computer science - Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming Algebraic Logic Probability and Statistics in Computer Science |
| ISBN |
9783031747625
3031747623 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Background -- 3. Probability-generated multi-valued logic -- 4. Muli-valued logic algebra of subjective trusts -- 5. Algebra with non-commutative norms -- 6. Implementation of subjective trusts in control. |
| Record Nr. | UNINA-9910983060803321 |
|
Kagan Evgeny
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
