scientific article; zbMATH DE number 4164174

MaRDI QIDQ3490992zbMATH OpenFDO

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

Publication date 1990

zbMATH Keywords

automatic theorem provingparaconsistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Automatic reasoning in paraconsistent logic
• Automatic theorem proving in paraconsistent logics: Theory and implementation
• Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems
• scientific article; zbMATH DE number 5050044
• Resolution-based theorem proving for many-valued logics

Cited in

(12)

• Automatic reasoning in paraconsistent logic
• A reasoning method for a paraconsistent logic
• Automatic theorem proving in paraconsistent logics: Theory and implementation
• Supra-logic: using transfinite type theory with type variables for paraconsistency
• scientific article; zbMATH DE number 3894495 (Why is no real title available?)
• Taming paraconsistent (and other) logics: an algorithmic approach
• scientific article; zbMATH DE number 7594098 (Why is no real title available?)
• Reasoning Support for Casl with Automated Theorem Proving Systems
• Resolving contradictions: A plausible semantics for inconsistent systems
• Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems
• A case study in automated theorem proving: Finding sages in combinatory logic
• A survey of annotated logics

This page was built for publication:

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