Report - Truth values algebras and proof normalizationdowek/Publi/truthvalues.pdf · 2016-01-18 · duce a class of algebras, called truth values algebras, that also generalize Heyting algebras.

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form