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.
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 in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Left.pdf
accesso aperto
Tipologia:
versione editoriale (VoR)
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.