1 variants of the law of excluded middle and related principles

Makoto Fujiwara. 1 variants of the law of excluded middle and related principles. Arch. Math. Log., 61(7-8):1113-1127, 2022. [doi]

Abstract

Abstract is missing.