scientific article; zbMATH DE number 487144
From MaRDI portal
Publication:4275687
zbMath0807.03015MaRDI QIDQ4275687
Mamede Lima-Marques, Walter Alexandre Carnielli
Publication date: 21 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut eliminationknowledge representationinconsistencyparaconsistent logicautomatic reasoningtableaux systemsknowledge in the presence of contradictions
Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)
Related Items (2)
Efficient reasoning with inconsistent information using C-systems ⋮ Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic
This page was built for publication:
