The Relation of A to Prov A in the Lindenbaum Sentence Algebra.

Clement F. Kent

Published in: J. Symb. Log. (1973)

Keyphrases

dependency relations
natural language
relation algebra
data sets
query language
algebraic expressions
databases
genetic algorithm
data model
rough sets
random walk
text summarization
boolean algebra
recognizing textual entailment