Monadic translation of classical sequent calculus.

José Espírito Santo Ralph Matthes Koji Nakazawa Luís Pinto

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases

sequent calculus
inference rules
cut elimination
linear logic
modal logic
deductive databases
linear time temporal logic
natural deduction
machine translation
temporal logic
sufficient conditions
high level
image segmentation
logic programming
datalog programs
knowledge representation
pairwise