Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space

Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3

We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a…