Search results for: Arnon Avron
Studia Semiotyczne > 2020 > 34 > 1
Soft Computing > 2019 > 23 > 7 > 2167-2175
Logica Universalis > 2017 > 11 > 3 > 297-315
Studia Logica > 2017 > 105 > 6 > 1087-1122
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Many-Valued Logical Systems > 625-637
Fuzzy Sets and Systems > 2016 > 292 > C > 75-84
Lecture Notes in Computer Science > Algebraic and Proof-theoretic Aspects of Non-classical Logics > 1-24
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning and Uncertainty > 11-21
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 43-57
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 4-16
Studies in Fuzziness and Soft Computing > Beyond Two: Theory and Applications of Multiple-Valued Logic > Proof Theory and Automated Deduction in Multiple-valued Logics > 117-155
Lecture Notes in Computer Science > Computer Science - Theory and Applications > Accepted Papers > 26-37
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Theory Track > 52-63
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 98-111