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
A resolution mechanism for Prenex Gödel logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
Archive for Mathematical Logic
Hi-index | 0.00 |