scientific article; zbMATH DE number 4164174
From MaRDI portal
Publication:3490992
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
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
- Title not available (Why is that?)
- Taming paraconsistent (and other) logics: an algorithmic approach
- Title not available (Why is that?)
- 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)
