Author:
Koutras Costas D.,Pitsiladis Georgios V.
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference32 articles.
1. Arieli, O.: Paraconsistent declarative semantics for extended logic programs. Ann. Math. Artif. Intell. 36, 381–417 (2002)
2. Arieli, O.: Reasoning with different levels of uncertainty. J. Appl. Non-Class. Log. 13, 317–343 (2003)
3. Arieli, O.: A tutorial on bilattices (2012). Tutorial in Duality Theory in Algebra, Logic and Computer Science, Oxford, UK, June 13–14, 2012
4. Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Log. Lang. Inf. 5, 25–63 (1996)
5. Arieli, O., Denecker, M.: Reducing preferential paraconsistent reasoning to classical entailment. J. Logic Comput. 13, 557–580 (2003)