Semantics for Dual and Symmetric Combinatory Calculi.

Published in: J. Philos. Log. (2004)

Keyphrases

formal semantics
logic programming
vague concepts
conceptual model
data sets
web services
natural language
fuzzy logic
semantic information
default reasoning
reasoning tasks
sequent calculi