Fatal Heyting Algebras and Forcing Persistent Sentences.

Leo Esakia Benedikt Löwe

Published in: Stud Logica (2012)

Keyphrases

natural language
text summarization
sentence level
human generated
extractive summarization
clifford algebra
distributive lattices
information retrieval
spatial reasoning
linguistic features
machine translation system
set theory
boolean algebra
lexical features
summary generation