Login / Signup
Some intuitionistic equivalents of classical principles for degree 2 formulas.
Stefano Berardi
Published in:
Ann. Pure Appl. Log. (2006)
Keyphrases
</>
linear logic
machine learning
classical logic
database
data sets
design principles
classical methods