| Autore: |
Pailos, Federico
|
| Titolo: |
Metainferential Logics / Federico Pailos, Bruno Da Ré
|
| Pubblicazione: |
Cham, : Springer, 2023 |
| Descrizione fisica: |
x, 134 p. : ill. ; 24 cm |
| Soggetto topico: |
03-XX - Mathematical logic and foundations [MSC 2020] |
| |
03B47 - Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020] |
| Soggetto non controllato: |
Advantages of local approach to metainferential validity |
| |
Applications of Metainferential Logics |
| |
Definition of a Logic |
| |
Global |
| |
Global and Absolutely Global Metainferential Logics |
| |
Hierarchies of Metainferential Logics |
| |
Higher-level validity paradox |
| |
Local |
| |
Metainferences and Pluralism |
| |
Metainferences and Validity |
| |
Metainferential Sequent Calculi |
| |
Metainferential Theories of Truth |
| |
Metainferential logics infinitely-many-valued schemes |
| |
Mixed Logics |
| |
New Families of Metainferential Logics |
| |
Philosophical discussions related with the metainferences |
| |
Proof-theories for Metainferential Logics |
| |
Properties of Metainferential Logics |
| |
Strong and Weak Kleene Metainferential Logics |
| |
and Absolutely Global Validity |
| Altri autori: |
Da Ré, Bruno
|
| Titolo autorizzato: |
Metainferential Logics |
|
| Formato: |
Materiale a stampa  |
| Livello bibliografico |
Monografia |
| Lingua di pubblicazione: |
Inglese |
| Record Nr.: | VAN00278882 |
|
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico |
https://doi.org/10.1007/978-3-031-44381-7 |
| Opac: |
Controlla la disponibilità qui |
