scientific article
From MaRDI portal
Publication:4012256
zbMath0742.68052MaRDI QIDQ4012256
Luis Fariñas del Cerro, Mameda Lima Marques, Walter Alexandre Carnielli
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)
Related Items (3)
Resolving contradictions: A plausible semantics for inconsistent systems ⋮ Paraconsistency and plausible argumentation in generative grammar: A case study ⋮ A simple signed system for paraconsistent reasoning
This page was built for publication:
