Expanding Gdel Logic with Truth Constants and the Equality, Strict Order, Delta Operators.

Dusan Guller

Browse the full IJCCI paper archive.