Number of the records: 1
Logic of left variable inclusion and Plonka sums of matrices
- 1.0504982 - ÚI 2020 US eng V - Research Report
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].
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
OECD category: 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.
Permanent Link: http://hdl.handle.net/11104/0296514
Number of the records: 1