Blar i Department of Informatics på forfatter "Walicki, Michal"
-
Extensions in graph normal form
Walicki, Michal (Journal article; Peer reviewed, 2022)Graph normal form, introduced earlier for propositional logic, is shown to be a normal form also for first-order logic. It allows to view syntax of theories as digraphs, while their semantics as kernels of these digraphs. ... -
Kernels of digraphs with finitely many ends
Walicki, Michal (Journal article; Peer reviewed, 2019)According to Richardson’s theorem, every digraph without directed odd cycles that is either (a) locally finite or (b) rayless has a kernel (an independent subset with an incoming edge from every vertex in ). We generalize ...