Subordination Algebras as Semantic Environment of Input/Output Logic.
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
Browse the full WoLLIC paper archive.
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
Browse the full WoLLIC paper archive.