Logics of variable inclusion and the lattice of consequence relations

2019/03/09 by Baldi, Michele Pra
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1903.03771

Abstract

In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of L.

Related

• Inclusion Logic and Fixed Point Logic
• Relational Companions of Logics
• Axiomatizing first-order consequences in inclusion logic
• On subreducts of subresiduated lattices and logic
• Containment logics: algebraic completeness and axiomatization