Generalized algebra-valued models of set theory. (English) Zbl 1375.03066
Summary: We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory.
Keywords:
lattice-valued models; paraconsistent logic; paraconsistent set theory; bounded quantificationReferences:
| [1] | Essays on the Foundations of Mathematics and Logic 2 pp 39– (2005) |
| [2] | DOI: 10.2178/jsl/1185803627 · Zbl 1124.03045 · doi:10.2178/jsl/1185803627 |
| [3] | Paraconsistency: Logic and Applications 26 pp 315– (2013) |
| [4] | Applications of Sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis held at the University of Durham, Durham, July 9–21, 1977 753 pp 402– (1979) |
| [5] | DOI: 10.1017/S1755020309990281 · Zbl 1197.03026 · doi:10.1017/S1755020309990281 |
| [6] | DOI: 10.1093/jigpal/jzt026 · Zbl 1342.03027 · doi:10.1093/jigpal/jzt026 |
| [7] | DOI: 10.1007/s11225-010-9225-y · Zbl 1200.03021 · doi:10.1007/s11225-010-9225-y |
| [8] | Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the 2nd World Congress on Paraconsistency (WCP 2000) 228 pp 1– (2002) |
| [9] | DOI: 10.1023/B:IJTP.0000005977.55748.e4 · Zbl 1044.81010 · doi:10.1023/B:IJTP.0000005977.55748.e4 |
| [10] | Paraconsistent Logic: Essays on the Inconsistent pp 415– (1989) · Zbl 0678.00003 |
| [11] | DOI: 10.1007/s001530050134 · Zbl 0936.03048 · doi:10.1007/s001530050134 |
| [12] | DOI: 10.1305/ndjfl/1093894366 · doi:10.1305/ndjfl/1093894366 |
| [13] | Logic and Its Applications, 6th International Conference, ICLA 2015, Mumbai, India, January 8–10, 2015, Proceedings 8923 pp 15– (2015) |
| [14] | Set Theory, Boolean-Valued Models and Independence Proofs 47 (2005) · Zbl 1065.03034 |
| [15] | DOI: 10.1007/BF01270392 · Zbl 0786.03039 · doi:10.1007/BF01270392 |
| [16] | DOI: 10.1305/ndjfl/1093634406 · Zbl 0768.03033 · doi:10.1305/ndjfl/1093634406 |
| [17] | DOI: 10.1016/j.jal.2004.07.010 · Zbl 1063.03040 · doi:10.1016/j.jal.2004.07.010 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
