Boolean-Valued Universe as an Algebraic System. I: Basic Principles

Результат исследования: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

Аннотация

The paper is devoted to the study of Boolean-valued algebraic systems of set-theoretic signature. The technique of partial elements of these systems is developed. Some formal apparatus is presented for using partial elements and Boolean-valued classes in the truth values of formulas. The predicative Boolean-valued classes are studied that admit quantification. Logical interrelations are described between the basic properties of Boolean-valued systems: the transfer, mixing, and maximum principles.

Язык оригиналаанглийский
Страницы (с-по)810-827
Число страниц18
ЖурналSiberian Mathematical Journal
Том60
Номер выпуска5
DOI
СостояниеОпубликовано - 1 сен 2019

Fingerprint Подробные сведения о темах исследования «Boolean-Valued Universe as an Algebraic System. I: Basic Principles». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать