Generalized algebra-valued models of set theory B Löwe, S Tarafder The Review of Symbolic Logic 8 (1), 192-205, 2015 | 43 | 2015 |
Constructing illoyal algebra-valued models of set theory B Löwe, R Paßmann, S Tarafder Algebra universalis 82 (3), 1-19, 2021 | 15 | 2021 |
A paraconsistent logic obtained from an algebra-valued model of set theory S Tarafder, MK Chakraborty New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February …, 2016 | 13 | 2016 |
Independence proofs in non-classical set theories S Tarafder, G Venturi The Review of Symbolic Logic 16 (4), 979-1010, 2023 | 10 | 2023 |
Ordinals in an algebra-valued model of a paraconsistent set theory S Tarafder Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India …, 2015 | 10 | 2015 |
Non-classical foundations of set theory S Tarafder The Journal of Symbolic Logic 87 (1), 347-376, 2022 | 7 | 2022 |
Ideal Objects for Set Theory S Jockwich, S Tarafder, G Venturi Journal of Philosophical Logic, 1-20, 2022 | 5 | 2022 |
ZF Between Classicality and Non-classicality S Tarafder, G Venturi Studia Logica, 1-30, 2021 | 5 | 2021 |
ZF and its interpretations SJ Martinez, S Tarafder, G Venturi Annals of Pure and Applied Logic, 103427, 2024 | 1 | 2024 |
Non-Classical Set Theories and Logics Associated With Them S Tarafder Bulletin of Symbolic Logic 25 (4), 451-451, 2019 | 1 | 2019 |
Consequence-Inconsistency Interderivability in Paraconsistent Logics and Paraconsistent Set Theory S Dutta, S Tarafder Handbook of Logical Thought in India, 1255-1288, 2022 | | 2022 |
A Paraconsistent Propositional Logic LS 3 S Tarafder The 13th Asian Logic Conference, 2013 | | 2013 |
Algebra-valued Models of Set Theories S Tarafder SAS Opening Workshop “The Mathematical Legacy of Alan Turing”(Spitalfields …, 0 | | |