scientific article; zbMATH DE number 6290314

MaRDI QIDQ5413342zbMATH OpenFDO

Authors S. P. Odintsov

Publication date 29 April 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/41_34_8.pdf

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17)

Recommendations

• A denotational semantics for equilibrium logic
• Parametrized equilibrium logic
• Partial equilibrium logic
• On partial and paraconsistent logics
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Infinitary Equilibrium Logic and Strong Equivalence
• Partial logics reconsidered: A conservative approach
• scientific article; zbMATH DE number 4112566
• Infinitary equilibrium logic and strongly equivalent logic programs
• On the Logic and Computation of Partial Equilibrium Models

Cited in

(8)

• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• Partial equilibrium logic
• Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
• Well-Founded and Partial Stable Semantics Logical Aspects
• On the Logic and Computation of Partial Equilibrium Models
• On deductive bases for paraconsistent answer set semantics
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Combining intuitionistic connectives and Routley negation

This page was built for publication:

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