Triangular Logic of Partial Toposes.

Adam Obtulowicz

Published in: J. Appl. Non Class. Logics (2000)

Keyphrases

logic programming
asynchronous circuits
modal logic
neural network
probabilistic logic
classical logic
proof theory
computational properties
predicate logic
automated reasoning
abductive reasoning
epistemic logic
natural deduction
propositional dynamic logic