Logics of left variable inclusion and Płonka sums of matrices
Bonzio S.;
2021-01-01
Abstract
The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic ⊢. We prove that the description of the algebraic counterpart of the left variable inclusion companion of a given logic ⊢ is related to the construction of Płonka sums of the matrix models of ⊢. This observation allows to obtain a Hilbert-style axiomatization of the logics of left variable inclusion, to describe the structure of their reduced models, and to locate them in the Leibniz hierarchy.File | Dimensione | Formato | |
---|---|---|---|
Left.pdf accesso aperto
Tipologia: versione editoriale
Dimensione 460.99 kB
Formato Adobe PDF
|
460.99 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.