Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Complexity of many-valued logics
Beyond two
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems
Quantified propositional Gödel logics
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Monadic fragments of Gödel logics: decidability and undecidability results
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Hi-index | 0.00 |