Natural Deduction for Bi-Connexive Logic and a Two-Sorted Typed -Calculus.

Heinrich Wansing

Published in: FLAP (2016)

Keyphrases

natural deduction
cut elimination
sequent calculus
inference rules
theorem prover
intuitionistic logic
linear time temporal logic
higher order
theorem proving
linear logic
business intelligence
knowledge representation
graphical models
lambda calculus