Almost all Classical Theorems are Intuitionistic.

Pierre Lescanne

Published in: RAIRO Theor. Informatics Appl. (2022)

Keyphrases

linear logic
fuzzy set theory
sequent calculus
theorem prover
cut elimination
data sets
classical logic
real time
databases
machine learning
decision making
multi agent