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

DOI10.1016/j.entcs.2020.10.012OpenAlexW3108113697WikidataQ113317254 ScholiaQ113317254MaRDI QIDQ2133459

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

• Unnamed Item
• Unnamed Item
• Generalized correspondence analysis for three-valued logics
• Four-valued paradefinite logics
• The pursuit of an implication for the logics L3A and L3B
• Models for a paraconsistent set theory
• Reasoning with logical bilattices
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• Natural 3-valued logics—characterization and proof theory
• Two Genuine 3-Valued Paraconsistent Logics
• None of the Above: The Catuṣkoṭi in Indian Buddhist Logic
• Semantics for Possibilistic Disjunctive Programs

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