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.
2021
Abstract algebraic logic
Kleene logics
Płonka sums
Regular varieties
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/322445
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 27
  • ???jsp.display-item.citation.isi??? 15
social impact