Search

Your search keyword '"Nobu-Yuki Suzuki"' showing total 1 results
Start Over Author "Nobu-Yuki Suzuki" Journal bulletin of the section of logic
1 results on '"Nobu-Yuki Suzuki"'

1. SOME WEAK VARIANTS OF THE EXISTENCE AND DISJUNCTION PROPERTIES IN INTERMEDIATE PREDICATE LOGICS.

Author

Nobu-Yuki Suzuki

Subjects
*DISJUNCTION (Logic), *KRIPKE semantics, *MATHEMATICAL variables, *INTUITIONISTIC mathematics, *SET theory
Abstract

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 Z-normality, which is a weak variant of the disjunction property. These weak variants were presented in the author's previous paper [16]. In the present paper, the Kripke sheaf semantics is used. [ABSTRACT FROM AUTHOR]

Published
2017
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results