Information Technology Reference
In-Depth Information
References
1. Bell, J.L.: Set Theory: Boolean-Valued Models and Independence Proofs. Oxford
University Press, Oxford (2005)
2. Carnielli, W.A., Marcos, J.: A Taxonomy of C-Systems. In: Carnielli, W.A.,
Coniglio, M.E., D'Ottaviano, I.M.L. (eds.) Paraconsistency: The Logical Way to
the Inconsistent. Lecture Notes in Pure and Applied Mathematics, vol. 228, pp.
1-94. Marcel Dekker, New York (2002)
3. Coniglio, M.E., Da Cruz Silvestrini, L.H.: An Alternative Approach for Quasi-
Truth. Logic Journal of the IGPL 22(2), 387-410 (2014)
4. Grayson, R.J.: Heyting-valued models for intuitionistic set theory. In: Fourman,
M.P., Mulvey, C.J., Scott, D.S. (eds.) Applications of Sheaves, Proceedings of the
Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Anal-
ysis, University of Durham, Durham, July 9-21, 1977. Lecture Notes in Mathemat-
ics, vol. 753, pp. 402-414. Springer, Berlin (1979)
5. Lowe, B., Tarafder, S.: Generalised Algebra-Valued Models of Set Theory. Review
of Symbolic Logic (accepted, 2014)
6. Ozawa, M.: Transfer Principle in Quantum Set Theory. Journal of Symbolic
Logic 72(2), 625-648 (2007)
7. Ozawa, M.: Orthomodular-Valued Models for Quantum Set Theory. Preprint,
ArXiv 0908.0367 (2009)
8. Takeuti, G., Titani, S.: Fuzzy Logic and Fuzzy Set Theory. Archive for Mathemat-
ical Logic 32(1), 1-32 (1992)
9. Tarafder, S., Chakraborty, M.K.: A Three-Valued Paraconsistent Logic Suitable
for a Paraconsistent Set Theory (preprint, 2014)
10. Titani, S.: A Lattice-Valued Set Theory. Archive for Mathematical Logic 38(6),
395-421 (1999)
11. Titani, S., Kozawa, H.: Quantum Set Theory. International Journal of Theoretical
Physics 42(11), 2575-2602 (2003)
12. Weber, Z.: Transfinite Numbers in Paraconsistent Set Theory. Review of Symbolic
Logic 3(1), 71-92 (2010)
