A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.

Published in: CoRR (2021)

Keyphrases

natural deduction
intuitionistic logic
inference rules
cut elimination
theorem prover
sequent calculus
theorem proving
positive and negative
linear time temporal logic
high level
multi valued
wide class
linear logic
modal logic
active learning
training data
machine learning