Extensions in graph normal form

DOI10.1093/JIGPAL/JZAA054zbMATH Open1494.03026OpenAlexW3096101318MaRDI QIDQ5066802FDOQ5066802

Authors: Michał Walicki 

Publication date: 30 March 2022

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

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

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

zbMATH Keywords

first-order logicconservative extensiondigraph kernelgraph normal formkernel semantics

Mathematics Subject Classification ID

Classical first-order logic (03B10)

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)