Four-valued semantics for abstract argumentation frameworks using (extensions of) Dunn-Belnap four-valued logic

MaRDI QIDQ5099993zbMATH OpenFDO

Authors Ofer Arieli

Publication date 26 August 2022

zbMATH Keywords

argumentation theoryparaconsistent reasoning4-valued semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Two, three, four, infinity: the path to the four-valued logic and beyond
• The \(B_{4}\)-valued propositional Belnap-Dunn logic
• The value of the four values
• Four-valued logic
• Four-valued modal logic: Kripke semantics and duality

Cited in

(2)

• ``Four-valued semantics for the relevant logic R
• A four-valued semantics for terminological logics

This page was built for publication: Four-valued semantics for abstract argumentation frameworks using (extensions of) Dunn-Belnap four-valued logic

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