Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi
| Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi |
| Autore | Bonzio Stefano |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (227 pages) |
| Disciplina | 511.324 |
| Collana | Trends in logic |
| Soggetto topico |
Algebraic logic
Lògica algebraica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-04297-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996479371703316 |
Bonzio Stefano
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||