The Teridentity and Peircean Algebraic Logic.

Joachim Hereth Correia Reinhard Pöschel

Published in: ICCS (2006)

Keyphrases

computer algebra
algebraic structure
logic programming
modal logic
computer vision
formal theory
predicate logic
mathematical theory
classical logic
logical framework
automated reasoning
higher order
evolutionary algorithm
epistemic logic
linear logic
website
proof theory
data sets
algebraic geometry