Extensions in graph normal form

DOI10.1093/JIGPAL/JZAA054MaRDI QIDQ5066802zbMATH OpenOpenAlexFDO

Authors Michał Walicki

Publication date 30 March 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/jigpal/jzaa054

zbMATH Keywords

first-order logicconservative extensiondigraph kernelgraph normal formkernel semantics

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• Normal forms for answer sets programming
• Resolving infinitary paradoxes
• A graph calculus for predicate logic
• A graph-theoretic approach to default logic
• scientific article; zbMATH DE number 4772

Cited in

(3)

• Node replacements in embedding normal form.
• Resolving infinitary paradoxes
• Normal form of domishold graphs

This page was built for publication: Extensions in graph normal form

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5066802)