Eliminating the Substitution Axiom from UNITY Logic.

Beverly A. Sanders

Published in: Formal Aspects Comput. (1991)

Keyphrases

modal logic
classical logic
logic programming
inference rules
defeasible logic
asynchronous circuits
automated reasoning
logical framework
data sets
multi valued
multiscale
relational databases
probabilistic model
temporal logic
deontic logic
proof theory