UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Reasoning with contradictory information using quasi-classical logic

Hunter, A; (2000) Reasoning with contradictory information using quasi-classical logic. J LOGIC COMPUT , 10 (5) 677 - 703.

Full text not available from this repository.

Abstract

The proof theory of quasi-classical logic (QC logic) allows the derivation of non-trivializable classical inferences from inconsistent information. A non-trivializable, or paraconsistent, logic is, by necessity, a compromise, or weakening, of classical logic. The compromises on QC logic seem to be more appropriate than other paraconsistent logics for applications in computing. In particular, the connectives behave in a classical manner. Here we motivate the need for QC logic, present a proof theory, and semantics for the logic, and compare it to other paraconsistent logics.

Type: Article
Title: Reasoning with contradictory information using quasi-classical logic
Keywords: paraconsistent logics, contradictory information, inconsistency, INCONSISTENT INFORMATION
UCL classification: UCL > School of BEAMS > Faculty of Engineering Science
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/129959
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item