Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information-Reference-Cited by-同舟云学术

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

Published:1995 Issue: Volume: Page:44-51
ISSN:0302-9743
Container-title:Symbolic and Quantitative Approaches to Reasoning and Uncertainty
language:
Short-container-title:

Author:

Besnard Philippe,Hunter Anthony

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60112-0_6.pdf

Reference10 articles.

1. Anderson A R and Belnap N D Jr. (1975) Entailment: The logic of relevance and necessity, Princeton University Press

2. Belnap N (1977) A useful four-valued logic, in Dunn J and Epstein G, Modern Uses of Multiple-Valued Logic, 5–37, Reidel

3. Benferhat S, Dubois D, Prade H (1993) Argumentative inference in uncertain and inconsistent knowledge bases, Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence, 411–419, Morgan Kaufmann

4. Besnard Ph (1991) Paraconsistent logic approach to knowledge representation, in de Glas M, and Gabbay D, Proceedings of the First World Conference on Fundamentals of Artificial Intelligence, Angkor

5. Besnard Ph and Hunter A (1995) Properties of quasi-classical logic, Technical Report, Department of Computing, Imperial College, London

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Truthmakers and Relevance for FDE, LP, K3, and CL;Outstanding Contributions to Logic;2023

2. A Four-Valued Hybrid Logic with Non-dual Modal Operators;Lecture Notes in Computer Science;2020

3. Argumentation and Inconsistency-Tolerant Reasoning;A Guided Tour of Artificial Intelligence Research;2020

4. Paraconsistency in hybrid logic;Journal of Logic and Computation;2016-10-25

5. Paraconsistent Reasoning in Science and Mathematics: Introduction;Logical Studies of Paraconsistent Reasoning in Science and Mathematics;2016