Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Obligations and permissions, algebraically
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…
math.LO2024
Obligations and permissions on selfextensional logics
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general ba…