Now showing items 1-1 of 1
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the ...