A Useful Substructural Logic.

Published in: Bull. IGPL (1994)

Keyphrases

propositional calculus
logic programming
multi valued
classical logic
genetic algorithm
multi agent systems
logic programs
predicate logic
social networks
case study
set theory
digital circuits
truth values
deontic logic