Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Normative implications
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +4
We continue to develop a research line initiated in \cite{wollic22}, studying I/O logic from an algebraic approach based on subordination algebras. We introduce the classes of slan…
math.LO2022
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…