Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic

Authors:
Dominique Larchey-Wendling
Affiliations:
-
Venue:
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Year:
2002

Citing 0
Cited 3

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

Quantified Score

Hi-index	0.00

Visualization

Abstract