Automatic theorem proving in paraconsistent logics: Theory and implementation

DOI10.1007/3-540-52885-7_80zbMATH Open1509.03042MaRDI QIDQ6488523FDOQ6488523

Authors: N. C. A. da Costa, Lawrence Henschen, James J. Lu, V. S. Subrahmanian 

Publication date: 28 April 2023

Recommendations

• scientific article; zbMATH DE number 4128792
• Automatic reasoning in paraconsistent logic
• scientific article; zbMATH DE number 1269574
• scientific article
• Paraconsistent disjunctive deductive databases

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Database theory (68P15) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Paraconsistent logic programming
• Title not available (Why is that?)
• Four valued semantics and the Liar
• On the theory of inconsistent formal systems
• Title not available (Why is that?)
• Quantitative deduction and its fixpoint theory
• Bilattices and the theory of truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Unifying View of Some Linear Herbrand Procedures

Cited In (12)

• Automatic reasoning in paraconsistent logic
• Paraconsistent reasoning based on XML
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• Title not available (Why is that?)
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning Support for Casl with Automated Theorem Proving Systems
• Paraconsistent disjunctive deductive databases
• A case study in automated theorem proving: Finding sages in combinatory logic
• Title not available (Why is that?)

This page was built for publication: Automatic theorem proving in paraconsistent logics: Theory and implementation

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