Boolean-Valued Set-Theoretic Systems: General Formalism and Basic Technique
This article is devoted to the study of the Boolean-valued universe as an algebraic system. We start with the logical backgrounds of the notion and present the formalism of extending the syntax of Boolean truth values by the use of definable symbols, internal classes, outer terms and external Boolea...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2021-05-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/9/9/1056 |