Bilateral Relevant Logic.

Published in: Rev. Symb. Log. (2014)

Keyphrases

modal logic
data sets
logic programming
multi valued
neural network
real world
information retrieval
information systems
web services
relational databases
closely related
automated reasoning
classical logic
formal theory