Logic of left variable inclusion and Plonka sums of matrices

0504982 - ÚI 2020 US eng V - Výzkumná zpráva
Bonzio, S. - Moraschini, Tommaso - Pra Baldi, M.
Logic of left variable inclusion and Plonka sums of matrices.
Cornell University, 2018. arXiv.org e-Print archive, arXiv:1804.08897 [math.LO].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Obor OECD: Pure mathematics
https://arxiv.org/abs/1804.08897

The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic ⊢. It turns out that the algebraic counterpart of the variable inclusion companion of a given logic ⊢ is obtained by constructing the Plonka sum of the matrix models of ⊢. This association allows to obtain a Hilbert-style axiomatization of the logics of variable inclusion and to describe the structure of their reduced models.
Trvalý link: http://hdl.handle.net/11104/0296514