On the structure of paraconsistent extensions of Johansson's logic.

Sergei P. Odintsov

Published in: J. Appl. Log. (2005)

Keyphrases

logic programming
classical logic
data sets
structural information
inference rules
asynchronous circuits
information systems
natural language
hierarchical structure
truth values