An Algebraic Approach to the Disjunction Property of Substructural Logics.

Published in: Notre Dame J. Formal Log. (2007)

Keyphrases

propositional calculus
expressive power
search algorithm
modal logic
database
databases
search engine
information systems
genetic algorithm
social networks
artificial neural networks
data model
knowledge representation