Contact

All Stories

  1. ZF and its interpretations

    Article • Annals of Pure and Applied Logic, June 2024, Elsevier

    Dr Sourav Tarafder

  2. Ideal Objects for Set Theory

    Article • Journal of Philosophical Logic, January 2022, Springer Science + Business Media

    Dr Sourav Tarafder

  3. NON-CLASSICAL FOUNDATIONS OF SET THEORY

    Article • Journal of Symbolic Logic, December 2021, Cambridge University Press

    Dr Sourav Tarafder

  4. $$\mathrm {ZF}$$ Between Classicality and Non-classicality

    Article • Studia Logica, August 2021, Springer Science + Business Media

    Dr Sourav Tarafder

  5. Constructing illoyal algebra-valued models of set theory

    Article • Algebra Universalis, June 2021, Springer Science + Business Media

    Dr Sourav Tarafder

  6. INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES

    Article • The Review of Symbolic Logic, March 2021, Cambridge University Press

    Dr Sourav Tarafder

  7. Consequence-Inconsistency Interderivability in Paraconsistent Logics and Paraconsistent Set Theory

    Article • January 2020, Springer Science + Business Media

    Dr Sourav Tarafder

  8. GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY

    Article • The Review of Symbolic Logic, January 2015, Cambridge University Press

    Dr Sourav Tarafder

  9. Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory

    Article • January 2015, Springer Science + Business Media

    Dr Sourav Tarafder

  10. A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory

    Article • January 2015, Springer Science + Business Media

    Dr Sourav Tarafder