UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information

Besnard, P; Hunter, A; (1995) Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information. In: (pp. pp. 44-51).

Full text not available from this repository.

Abstract

© Springer-Verlag Berlin Heidelberg 1995. Here we present a new paraconsistent logic, called quasiclassical logic (or QC logic) that allows the derivation of non-trivializable classical inferences. For this it is necessary that queries are in conjunctive normal form and the reasoning process is essentially that of clause finding. We present a proof-theoretic definition, and semantics, and show that the consequence relation observes reflexivity, monotonicity and transitivity, but fails cut and supraclassicality. Finally we discuss some of the advantages of this logic, over other paraconsistent logics, for applications in information systems.

Type: Proceedings paper
Title: Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information
ISBN: 3540601120
URI: http://discovery.ucl.ac.uk/id/eprint/105492
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