Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case

DOI10.1016/J.ENTCS.2020.10.006OpenAlexW3110186717WikidataQ113317265 ScholiaQ113317265MaRDI QIDQ2133441

Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio

Publication date: 29 April 2022

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

zbMATH Keywords

many-valued logicsparacomplete logicsdual logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

On the question of the criteria for the paracompleteness of logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The pursuit of an implication for the logics L3A and L3B
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• Two Genuine 3-Valued Paraconsistent Logics
• Three-Valued Paraconsistent Propositional Logics
• Strong Three-Valued Paraconsistent Logics

This page was built for publication: Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case