A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains.

Published in: TABLEAUX (2011)

Keyphrases

application domains
real world
complex domains
classical logic
neural network
information retrieval
logic programming
modal logic
proof theory
training data
multi valued
social bookmarking
sound and complete axiomatization