CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis paper introduces the logics of super-strict implications that are based on C.I. Lewis’ non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke’s semantics for non-normal modal logics. This solves a question we left open in a previous paper by showing that these logics are weakly connexive.
| Titolo: | Non-Normal Super-Strict Implications | |
| Autore/i: | Gherardi, Guido; Orlandelli, Eugenio | |
| Autore/i Unibo: | ||
| Anno: | 2022 | |
| Rivista: | ||
| Titolo del libro: | Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications | |
| Pagina iniziale: | 1 | |
| Pagina finale: | 11 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.4204/EPTCS.358.1 | |
| Abstract: | This paper introduces the logics of super-strict implications that are based on C.I. Lewis’ non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke’s semantics for non-normal modal logics. This solves a question we left open in a previous paper by showing that these logics are weakly connexive. | |
| Data stato definitivo: | 14-apr-2022 | |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2022