scientific article; zbMATH DE number 4164174

zbMATH Open0708.68063MaRDI QIDQ3490992FDOQ3490992

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

Publication date: 1990

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

automatic theorem provingparaconsistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (11)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Survey of Annotated Logics
• 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

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)