Three new genuine five-valued logics intended to model non-trivial concepts

DOI10.1016/J.ENTCS.2020.10.012MaRDI QIDQ2133459zbMATH OpenOpenAlexWikidataFDO

Authors Mauricio Osorio, Claudia Zepeda

Publication date 29 April 2022

Full work available at URL https://doi.org/10.1016/j.entcs.2020.10.012

zbMATH Keywords

argumentation semanticslogic programming semanticsstage argumentation semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• A Cook's tour of the finitary non-well-founded sets
• Four-valued paradefinite logics
• Generalized correspondence analysis for three-valued logics
• scientific article; zbMATH DE number 193123 (Why is no real title available?)
• scientific article; zbMATH DE number 3552426 (Why is no real title available?)
• Models for a paraconsistent set theory
• Natural 3-valued logics—characterization and proof theory
• None of the above: the catuṣkoṭi in Indian Buddhist logic
• Reasoning with logical bilattices
• Semantics for Possibilistic Disjunctive Programs
• The pursuit of an implication for the logics L3A and L3B
• Two Genuine 3-Valued Paraconsistent Logics

This page was built for publication: Three new genuine five-valued logics intended to model non-trivial concepts

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