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

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The pursuit of an implication for the logics L3A and L3B
• Title not available (Why is that?)
• 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
• A weakly-intuitionistic logic \(I1\)

Cited In (4)

• Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
• On the question of the criteria for the paracompleteness of logics
• Two Genuine 3-Valued Paraconsistent Logics
• Strong Three-Valued Paraconsistent Logics

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

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