Stem dummett$ (all stems)

4 papers:

FLOPS-2012-Hirai #logic #λ-calculus

A λ Calculus for Gödel-Dummett Logic Capturing Waitfreedom (YH), pp. 151–165.

IJCAR-2004-Larchey-Wendling #logic

Counter-Model Search in Gödel-Dummett Logics (DLW), pp. 274–288.

CSL-2003-MetcalfeOG #logic

Goal-Directed Calculli for Gödel-Dummett Logics (GM, NO, DMG), pp. 413–426.

CADE-2002-Larchey-Wendling #logic

Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic (DLW), pp. 94–110.