Abstract: We study Basic Arithmetic BA, which is the basic logic BQC equivalent of Heyting Arithmetic HA overintuitionistic logic IQC, and of Peano Arithmetic PAover classical logic CQC. It turns out ...
Sommige resultaten zijn verborgen omdat ze mogelijk niet toegankelijk zijn voor u.
Niet-toegankelijke resultaten weergeven