Residuated Basic Logic I.

Minghui Ma Zhe Lin

Published in: CoRR (2014)

Keyphrases

modal logic
predicate logic
multi valued
classical logic
computational properties
probabilistic logic
proof theory
genetic algorithm
decision trees
logic programming
deontic logic
asynchronous circuits