A tutorial on computational classical logic and the sequent calculus.

Paul Downen Zena M. Ariola

Published in: J. Funct. Program. (2018)

Keyphrases

classical logic
sequent calculus
modal logic
cut elimination
logic programming
inference rules
linear logic
intuitionistic logic
linear time temporal logic
default logic
valued logic
logic programs
natural deduction
nonmonotonic logics
default theories
temporal logic
rough set theory
rough sets