In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic (Formula presented.) with a composition term. Then, we investigate their position into the lattice of consequence relations over the language of (Formula presented.).
Logics of variable inclusion and the lattice of consequence relations
Pra Baldi, Michele
Primo
2020-01-01
Abstract
In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic (Formula presented.) with a composition term. Then, we investigate their position into the lattice of consequence relations over the language of (Formula presented.).
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Logics of variable inclusion and the lattice of consequence relations.pdf
Solo gestori archivio
Tipologia:
versione editoriale (VoR)
Dimensione
1.48 MB
Formato
Adobe PDF
|
1.48 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
