Relational Companions of Logics

TL;DR

This paper characterizes when the left variable inclusion and restricted rules companions of Hilbert-style logics coincide, and introduces a general framework of relational companions for logical structures in universal logic.

Contribution

It provides a necessary and sufficient condition for the equivalence of certain logic companions and introduces a broad relational framework for logical structures.

Findings

Necessary and sufficient condition for companion coincidence

Generalization of variable inclusion companions via relations

Hilbert-style logics as instances of relational companions

Abstract

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 $\langle\mathcal{L},\vdash\rangle$ are relations from $\mathcal{P}(\mathcal{L})$ to $\mathcal{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.