The logic of closed categories.

Manfred E. Szabo

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

Keyphrases

logic programming
queueing networks
multi valued
decision trees
case study
modal logic
object categories
classical logic
defeasible logic
nonmonotonic logics
databases
multi agent systems
set theory
deontic logic
asynchronous circuits
natural deduction