publication venue for Non-Binary Approaches for Classification of Amyloid Brain PET 2019 Algebras and Algorithms 2015 CTL model-checking over logics with non-classical negations 2003 Structures with many-valued information and their relational proof theory 2000 Finite algebraic models for residuated logic 1995