Labelled Calculi for Łukasiewicz Logics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Gödel-Dummett Counter-models through Matrix Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
Information Sciences: an International Journal
Bounding resource consumption with gödel-dummett logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Gödel logics with monotone operators
Fuzzy Sets and Systems
Hi-index | 0.00 |