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

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

Keyphrases

natural deduction
theorem prover
inference rules
theorem proving
intuitionistic logic
cut elimination
sequent calculus
linear time temporal logic
neural network
machine learning
relational databases
truth values
feature space
software engineering
first order logic
linear logic