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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results