Creating a Second Order Diagrammatic Logic.

Peter Chapman Gem Stapleton

Published in: Diagrams (2010)

Keyphrases

higher order
logic programming
data sets
modal logic
neural network
classical logic
predicate logic
asynchronous circuits
linear logic
database
probability theory
multi valued
nonmonotonic logics
formal theory
proof theory