Corrections to: Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective).

Published in: J. Philos. Log. (2022)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
theorem proving
intuitionistic logic
truth values
linear logic
sequent calculus
artificial intelligence
object oriented
partially ordered
linear time temporal logic