May I Borrow Your Logic? (Transporting Logical Structures Along Maps).

Maura Cerioli José Meseguer

Published in: Theor. Comput. Sci. (1997)

Keyphrases

logical representation
logical rules
logic programming
logical operations
probabilistic logic
predicate calculus
logical framework
dynamic logic
genetic algorithm
truth values
predicate logic
classical logic
multi valued
natural deduction
neural network
lambda calculus
sound and complete axiomatization