Fregean logics with the multiterm deduction theorem and their algebraization.

Janusz Czelakowski Don Pigozzi

Published in: Stud Logica (2004)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
inference rules
proof theoretic
modal logic
anti unification
proof theory
logic programming
expressive power
data mining
real world
neural network
real time
evolutionary algorithm
database
search algorithm
theorem proving
default logic
data sets