Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus.

Agata Tomczyk Dorota Leszczynska-Jasion

Published in: NCL (2022)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
inference rules
modal logic
decision procedures
wide class
linear time temporal logic
proof search
classical logic
logical framework
theorem prover
description logics
theorem proving
fixed point
sufficient conditions
query answering
first order logic