Reasoning with contradictory information using quasi-classical logic

DOI10.1093/LOGCOM/10.5.677zbMATH Open0974.03030OpenAlexW2092293513MaRDI QIDQ4522332FDOQ4522332

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1844496
• scientific article; zbMATH DE number 1269574
• Quasi-classical description logic
• Computational Aspects of Quasi-Classical Entailment
• Logic and aggregation

zbMATH Keywords

proof theorysemanticsparaconsistent logicinconsistencycontradictory information

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (14)

• Para-disagreement logics and their implementation through embedding in Coq and SMT
• Quasi-matrix logic as a paraconsistent logic for dubitable information
• Quasi-classical description logic
• Argumentative logics: Reasoning with classically inconsistent information
• Quasi-classical reasoning in paraconsistent databases
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantic inconsistency measures using 3-valued logics
• Paraconsistent informational logic
• It might have been classical logic
• Inconsistency-tolerant reasoning with OWL DL
• Computational Aspects of Quasi-Classical Entailment
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4522332)