Review of type-logical semantics.

Riccardo Pucella Stephen Chong

Published in: SIGACT News (2003)

Keyphrases

logical properties
logic programming
logical rules
logical framework
logical language
probabilistic logic
logical structure