Containment logics: Algebraic Counterparts and Reduced Models

Autor:	Stefano Bonzio, Michele Pra Baldi
Rok vydání:	2021
Předmět:	Arts and Humanities (miscellaneous) Logic Hardware and Architecture Software Płonka sums abstract algebraic logic containment logics algebraic counterpart reduced model Theoretical Computer Science
Zdroj:	Journal of Logic and Computation. 32:808-831
ISSN:	1465-363X 0955-792X
DOI:	10.1093/logcom/exab070
Popis:	The containment companion of a logic $\vdash $ consists of the consequence relation $\vdash ^{r}$ which satisfies all the inferences of $\vdash $, where the variables of the conclusion are contained into those of the set of premises, in case this is not inconsistent. Following the algebraic analysis started in Bonzio and Pra Baldi (2021, Studia Logica, 109, 969–994), this paper characterizes the algebraic counterpart of a finitary containment logic $\vdash ^{r}$ and investigates the structure of the Leibniz and Suszko reduced models. The analysis is carried within the framework of abstract algebraic logic.Mathematics Subject Classification: Primary: 03G27. Secondary: 03G25
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b3084059db25b58cbba4165d1368fb84 https://doi.org/10.1093/logcom/exab070 Zobrazit plný text záznamu