Natural deduction calculi for classical and intuitionistic S5.

Stefano Guerrini Andrea Masini Margherita Zorzi

Published in: J. Appl. Non Class. Logics (2023)

Keyphrases

natural deduction
cut elimination
sequent calculi
theorem prover
inference rules
sequent calculus
theorem proving
intuitionistic logic
linear logic
machine learning
artificial intelligence
first order logic
automated reasoning
linear time temporal logic
rough set theory