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 documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
