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

MaRDI QIDQ5099993FDOQ5099993

Authors: Ofer Arieli 

Publication date: 26 August 2022

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

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)

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)