Mindful logic: how to resolve some paradoxes of identity.

Russell Pannier Thomas Sullivan

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

deontic logic
modal logic
real time
logic programming
data sets
automated reasoning
database
image sequences
video sequences
relational databases
neural network
inference rules
logical framework
social context
digital circuits
asynchronous circuits
proof theory