Some proof theoretical remarks on quantification in ordinary language

V. Michele Abrusci Christian Retoré

Published in: CoRR (2013)

Keyphrases

programming language
theoretical analysis
natural language
language learning
proof theory
specification language
real world
real time
theorem prover
language processing
neural network
web services
modeling language
theoretical models
dynamic logic
natural deduction
databases