A proof system of the CaIT calculus.

Ningning Chen Huibiao Zhu

Published in: Frontiers Comput. Sci. (2024)

Keyphrases

sequent calculus
proof search
cut elimination
linear time temporal logic
inference rules
modal logic
linear logic
automated deduction
algebraic structure
natural deduction
formal language
database
theorem proving
sufficient conditions
provably correct
computer algebra
theorem prover
database systems