An Order Hyperresolution Calculus for G\"{o}del Logic with Truth Constants and Equality, Strict Order, Delta.

Dusan Guller

Browse the full IJCCI paper archive.