Publications
Refereed Papers in Journals
Santiago Jockwich Martinez, Sourav Tarafder, & Giorgio Venturi. (2024). ZF and its interpretations. Annals of Pure and Applied Logic, 175(6): 103427.
Sourav Tarafder & Giorgio Venturi. (2023). Independence proofs in non-classical set theories. The Review of Symbolic Logic, 16(4), pp. 979 - 1010.
Sourav Tarafder. (2022). Non-classical foundations of set theory. The Journal of Symbolic Logic, 87(1), pp. 347 - 376.
Sourav Tarafder & Giorgio Venturi. (2022). ZF between classicality and non-classicality. Studia Logica, 110, pp. 189 - 218.
Santiago Jockwich Martinez, Sourav Tarafder, & Giorgio Venturi, (2022). Ideal objects for set theory. Journal of Philosophical Logic, 51, pp. 583 - 602.
Benedikt Löwe, Robert Passmann, & Sourav Tarafder. (2021). Constructing illoyal algebra-valued models of set theory. Algebra Universalis, 82, 46.
Benedikt Löwe & Sourav Tarafder. (2015). Generalized algebra-valued models of set theory. The Review of Symbolic Logic, 8(1), pp. 192 - 205.
Refereed Papers in Conference Proceedings
Mihir Kr. Chakraborty & Sourav Tarafder. (2016). A paraconsistent logic obtained from an algebra-valued model of set theory, In Beziau, J. Y., Chakraborty, M. K. and Dutta, S., editors, New Directions in Paraconsistent Logic, 5th WCP, Kolkata, India, February 2014, Springer Proceedings in Mathematics & Statistics, Vol. 152. New Delhi: Springer, pp. 165 - 183.
Sourav Tarafder. (2015). Ordinals in an algebra-valued model of a paraconsistent set theory. In Banerjee, M. and Krishna, S., editors. Logic and Its Applications, 6th International Conference, ICLA 2015, Mumbai, India, January 8 - 10, 2015, Lecture Notes in Computer Science, Vol. 8923. Berlin: Springer-Verlag, pp. 195 - 206.
Accepted for Publication
Sourav Tarafder. (2023). Basic Mathematics Beyond Classicality. The Palgrave Companion to the Philosophy of Set Theory.
Submitted for Publication
Santiago Jockwich Martinez, Sourav Tarafder, & Giorgio Venturi, Non-Classical Models of ZFC.
Book chapter
Soma Dutta & Sourav Tarafder. (2021). Consequence-Inconsistency Interderivability in Paraconsistent Logics and Paraconsistent Set Theory. In: Sarukkai S., Chakraborty M. (eds) Handbook of Logical Thought in India. Springer, New Delhi, pp. 1255 - 1288.
Others
Sourav Tarafder. (2019). Abstract of the PhD thesis: Non-Classical Set Theories and Logics Associated with them. Bulletin of Symbolic Logic, 25(4), p. 451.
Sourav Tarafder. (2019). Abstract of the contributed talk: Foundation of Mathematics in a Class of Paraconsistent Set Theories (presented in the 2019 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium 2019, Prague, Czech Republic), Bulletin of Symbolic Logic, 25(4), p. 526.