Tableaux for logic programming with strong negation

DOI10.1007/BFB0027403MaRDI QIDQ4610313zbMATH OpenFDO

Authors Seiki Akama

Publication date 15 January 2019

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0027403

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Logic programming with strong negation
• scientific article; zbMATH DE number 9973
• From here to there: Stable negation in logic programming
• Logic Programming with Strong Negation and Inexact Predicates
• Partial models and logic programming

Cites work

• A semantical study of constructible falsity
• An improved refutation system for intuitionistic predicate logic
• Constructible falsity
• Constructible falsity and inexact predicates
• Constructive predicate logic with strong negation and model theory
• Curry's paradox in contractionless constructive logic
• scientific article; zbMATH DE number 4160687 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 25191 (Why is no real title available?)
• scientific article; zbMATH DE number 559756 (Why is no real title available?)
• scientific article; zbMATH DE number 9973 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• Logic programming with strong negation
• Logic Programming with Strong Negation and Inexact Predicates
• On the Proof Method for Constructive Falsity
• Subformula semantics for strong negation systems

Cited in

(4)

• Extended ASP Tableaux and rule redundancy in normal logic programs
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Logic programming with strong negation
• Computer Science Logic

This page was built for publication: Tableaux for logic programming with strong negation

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