Henkin sentences and local reflection principles for Rosser provability.

Taishi Kurahashi

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

natural language
sentence level
artificial intelligence
random walk
linguistic features
sentence retrieval
real time
information systems
text summarization
text corpus