Pra Baldi, Michele (2018) An algebraic study of logics of variable inclusion and analytic containment. [Ph.D. thesis]
Full text disponibile come:
Abstract (italian or english)
This thesis focuses on a wide family of logics whose common
feature is to admit a syntactic definition based on specific
variable inclusion principles.
This family has been divided into three main components:
logics of left variable inclusion, containment logics, and
the logic of demodalised analytic implication.
We offer a general investigation of such logics within
the framework of modern abstract algebraic logic.
Statistiche DownloadSimple MetadataFull MetadataEndNote FormatDownload statistics


Solo per lo Staff dell Archivio: Modifica questo record