Extensions in graph normal form
Journal article, Peer reviewed
Published version
View/ Open
Date
2022Metadata
Show full item recordCollections
- Department of Informatics [970]
- Registrations from Cristin [10187]
Abstract
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. Graphs are particularly well suited for studying circularity, and we provide some general means for verifying that circular or apparently circular extensions are conservative. Traditional syntactic means of ensuring conservativity, like definitional extensions or positive occurrences guaranteeing exsitence of fixed points, emerge as special cases.