Login / Signup
On the Logic of Hypergraphs.
Adam Kolany
Published in:
Kurt Gödel Colloquium (1993)
Keyphrases
</>
modal logic
classical logic
data sets
predicate logic
logic programming
graph theory
information systems
automated reasoning
set theory
higher order
defeasible logic
nonmonotonic logics
digital circuits
linear logic
proof theory
sound and complete axiomatization