HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions
作者:
Guido Vanackere,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 2000)
卷期:
Volume 10,
issue 3-4
页码: 317-338
ISSN:1166-3081
年代: 2000
DOI:10.1080/11663081.2000.10511002
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
The present paper offers a new approach to non-monotonic logics and their reconstruction in terms of inconsistency-adaptive logics. By applying a special technique, universally quantified formulas are assigned instances that, given the paraconsistent framework, do not cause triviality even if they conflict with knowledge deriving from other sources. From the special instances, the usual instances may be derived conditionally, viz. provided they are not contradicted by statements derived with a higher preference ranking.
点击下载:
PDF (1109KB)
返 回