Reasoning with contradictory information using quasi-classical logic

DOI10.1093/LOGCOM/10.5.677zbMath0974.03030OpenAlexW2092293513MaRDI QIDQ4522332

Anthony Hunter

Publication date: 18 December 2001

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2a53c99beed816c5066e9226d9ec6649a7ec2756

zbMATH Keywords

proof theorysemanticsinconsistencyparaconsistent logiccontradictory information

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (6)

Quasi-classical reasoning in paraconsistent databases ⋮ Semantic inconsistency measures using 3-valued logics ⋮ An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics ⋮ Unnamed Item ⋮ Computational Aspects of Quasi-Classical Entailment ⋮ Inconsistency-tolerant reasoning with OWL DL

This page was built for publication: Reasoning with contradictory information using quasi-classical logic