Measuring coherence using LP-models

Journal of Applied Logic

Volumn 2, Issue 4, 2004, Pages 451-455

  Oller, Carlos A ^a  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

(In)consistency measures; Many valued logics; Paraconsistent logics

Indexed keywords

COMPUTATION THEORY; MATHEMATICAL MODELS; SEMANTICS; SET THEORY;

CONSISTENCY MEASURES; INCONSISTENCY MEASURES; PARACONSISTENT LOGICS;

MANY VALUED LOGICS;

EID: 10244251653     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2004.07.005     Document Type: Article

References (10)

1. Ph. Besnard, A. Hunter, Quasi-classical logic: non-trivializable classical reasoning from inconsistent information, in: Symbolic and Quantitative Approaches to Uncertainty, in: Lecture Notes in Comput. Sci., vol. 946, Springer, Berlin, 1995, pp. 44-51.
2. B. Brown, On paraconsistency, in: D. Jacquette (Ed.), A Companion to Philosophical Logic, Blackwell, Oxford, 2002 , pp. 628-650.
3. L. Cholvy, Information evaluation in fusion: a case study, in: Proceedings of ECSQARU-03 Workshop "Uncertainty, Incompleteness, Imprecision and Conflict in Multiple Data Sources", Aalborg, 2003.
4. A. Hunter, Measuring inconsistency in knowledge via quasi-classical models, in: Proceedings of the 18th National Conference on Artificial Intelligence (AAAI'2002), MIT Press, Cambridge, MA, 2002, pp. 68-73.
5. S.C. Kleene, Introduction to Meta-mathematics, North Holland, Amsterdam, 1952.
6. E. Lozinskii, Resolving contradictions: a plausible semantics for inconsistent systems, J. Automat. Reason 12 (1994) 1-31.
7. G. Priest, Logic of paradox, J. Philos. Logic 8 (1979) 219-241.
8. G. Priest, Minimally inconsistent LP, Studia Logica 50 (1991) 321-331.
9. G. Priest, Paraconsistent Logic, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, vol. 6, seconded., 2002.
10. P. Wong, Ph. Besnard, Paraconsistent reasoning as an analytic tool, J. Interest Group in Propositional Logic 9 (2001)233-246.