Proof-Theoretic Aspects of Hybrid Type-Logical Grammars.

Richard Moot Symon Jory Stevens-Guille

Published in: FG (2019)

Keyphrases

proof theoretic
model theoretic
proof theory
nonmonotonic reasoning
linear logic
natural language
fixpoint
probabilistic logic
description logics
operational semantics