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

DOI10.1016/J.ENTCS.2020.10.012OpenAlexW3108113697WikidataQ113317254 ScholiaQ113317254MaRDI QIDQ2133459FDOQ2133459

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

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

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)