On The Imaginary Logic of N. A. VASILIEV.

Leila Z. Puga Newton C. A. da Costa

Published in: Math. Log. Q. (1988)

Keyphrases

multi valued
automated reasoning
classical logic
data sets
modal logic
defeasible logic
database
databases
information retrieval
search engine
information systems
video sequences
logical framework
deontic logic
asynchronous circuits
logic synthesis