2024/08/30 by Basu, Sankha S., Roy, Sayantan
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2408.17019
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics induced by Hilbert-style presentations (Hilbert-style logics) were introduced in a recent paper. A sufficient condition for the restricted rules companion of a Hilbert-style logic to coincide with its left variable inclusion companion was proved there, while a necessary condition remained elusive. The present article has two parts. In the first part, we give a necessary and sufficient condition for the left variable inclusion and the restricted rules companions of a Hilbert-style logic to coincide. In the rest of the paper, we recognize that the variable inclusion restrictions used to define variable inclusion companions of a logic \langleL,\vdash⟩ are relations from P(L) to L. This leads to a more general idea of a relational companion of a logical structure, a framework that we borrow from the field of universal logic. We end by showing that even Hilbert-style logics and the restricted rules companions of these can be brought under the umbrella of the general notions of logical structures and their relational companions that are discussed here.