Author:
Caleiro Carlos,Viganò Luca
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference73 articles.
1. Arieli, O., Avron, A.: Minimal paradefinite logics for reasoning with incompleteness and inconsistency. In: Kesner, D., Pientka, B. (eds.) 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Volume 52 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 7:1–7:15 (2016)
2. Arieli, O., Zamansky, A.: A dissimilarity-based framework for generating inconsistency-tolerant logics. Ann. Math. Artif. Intell. 73(1–2), 47–73 (2015)
3. Arieli, O., Zamansky, A.: A graded approach to database repair by context-aware distance semantics. Fuzzy Sets Syst. 298, 4–21 (2016)
4. Avron, A.: Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. J. Appl. Non-Class. Log. 24, 12–34 (2014)
5. Avron, A.: Self-extensional three-valued paraconsistent logics. Log. Univers. (2017). doi: 10.1007/s11787-017-0173-4