Search results for: Melvin Fitting
Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 193--203
Studia Logica > 2017 > 105 > 6 > 1149-1166
Annals of Pure and Applied Logic > 2016 > 167 > 8 > 615-648
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 220-236
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Invited Lectures > 19-39
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Invited Papers > 23-38
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Theory Track > 168-179
Studies in Fuzziness and Soft Computing
Trends in Logic > Towards Mathematical Philosophy > 107-123
Synthese Library > Games, Norms and Reasons > 61-76
Annals of Pure and Applied Logic > 2014 > 165 > 1 > 225-240
Annals of Pure and Applied Logic > 2012 > 163 > 3 > 291-313