Аннотация
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 |