A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic (1999)

Cached

Download Links

by Roy Dyckhoff
Citations:13 - 0 self