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

DOI10.1016/J.ENTCS.2020.10.006MaRDI QIDQ2133441zbMATH OpenOpenAlexWikidataFDO

Authors 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

dual logicmany-valued logicsparacomplete logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• A weakly-intuitionistic logic I1
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• Hybridized paracomplete and paraconsistent logics
• Strong Three-Valued Paraconsistent Logics
• The pursuit of an implication for the logics L3A and L3B
• Three-valued paraconsistent propositional logics
• Two Genuine 3-Valued Paraconsistent Logics

Cited in

(5)

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

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)