Lukasiewicz Logic Arrays.

Jonathan Wayne Mills M. Gordon Beavers Charles A. Daffinger

Published in: ISMVL (1990)

Keyphrases

modal logic
truth values
logic programming
classical logic
inference rules
databases
epistemic logic
multi valued
temporal logic
defeasible logic
information systems
situation calculus
probabilistic logic
set theory
real time
deontic logic
dynamic logic