Sign in
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains.
Alwen Tiu
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