Login / Signup
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.
Dito Pataraia
Published in:
J. Appl. Non Class. Logics (2006)
Keyphrases
</>
propositional calculus
image processing
case study
first order logic
data mining
high level
multiscale