Publications
Export 30 results:
Author Title [ Type
] Year Filters: First Letter Of Last Name is A [Clear All Filters]
. 2012. “Reasoning With Computer-Assisted Experiments In Mathematics” . Third Workshop in the Philosophy of Information: 80-92.
. 2001. “Tableau Systems For Logics Of Formal Inconsistency” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
. 2011. “Report 3Rd Workshop In The Philosophy Of Information”. The Reasoner 1: 6-7.
. 1982. “Russell's Set Versus The Universal Set In Paraconsistent Set Theory”. Logique et Analyse 25: 121–133.
. 2014. “Sequent-Based Argumentation For Normative Reasoning”. Deontic Logic and Normative Systems: Lecture Notes in Computer Science 8554: 224–240.