Blar i Department of Informatics på tidsskrift "Logic Journal of the IGPL"
Viser treff 1-1 av 1
-
Extensions in graph normal form
(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. ...