Disjunction property and complexity of substructural logics.

Rostislav Horcík Kazushige Terui

Published in: Theor. Comput. Sci. (2011)

Keyphrases

propositional calculus
computational cost
data sets
information systems
database systems
worst case
expressive power
real world
artificial intelligence
website
inference rules
high computational complexity
lower complexity
propositional dynamic logic