Subordination Algebras as Semantic Environment of Input/Output Logic

Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3

We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic…