Subordination algebras as semantic environment of input/output logic (Q6160753)

The purpose of this paper is to establish a connection between two kinds of structure that have developed quite separately. One of these is input/output logic, devised by the reviewer and \textit{L. van der Torre} [J. Philos. Log. 29, No. 4, 383--408 (2000; Zbl 0964.03002)] to analyse the structure of normative systems. The other arose in the course of work on the semantics of modal logic, under several names and equivalent presentations: quasi-modal algebras, precontact algebras, and subordination algebras, defined in the first of these three forms by \textit{S. Celani} [Math. Bohem. 126, No. 4, 721--736 (2001; Zbl 0999.06012)] and in the other two forms by \textit{G. Dimov} and \textit{D. Vakarelov} [Lect. Notes Comput. Sci. 3929, 1--16 (2006; Zbl 1185.68665)] and \textit{G. Bezhanishvili} et al. [Appl. Categ. Struct. 25, No. 3, 381--401 (2017; Zbl 1425.54006)]. The paper under review works in the spirit of the third of these presentations, uses it to define a semantics for input/output logic, and applies the connection to obtain new results on each side from known results on the other. The work is carried out under definitions of both input/output logic and subordination algebras that are generalized from their original contexts of classical logic and Boolean algebras respectively, to the contexts of arbitrary self-extensional logics and distributive lattices. For the entire collection see [Zbl 1511.03002].