Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Sourav Tarafder
Observed names:
S. Tarafder,
SOURAV TARAFDER,
Tarafder, Sourav
Institutions:
St. Xavier's College (Autonomous), Kolkata,
Umeå University
Observed institutions:
University of Calcutta,
Universidade Estadual de Campinas (UNICAMP),
St. Xavier's College (Autonomous),
St. Xavier's College,
St. Xavier's College (Autonomous), Kolkata,
St. Xavier's College,
Umeå University,
St Xavier’s College
show all 8
ORCID:
0009-0006-0495-0865
Observed ORCID:
0009-0006-0495-0865
OpenAlex ID:
A5055868019
Generalized Algebra-valued Models of Set Theory
2015
·
BENEDIKT LÖWE
, SOURAV TARAFDER
·
The Review of Symbolic Logic
·
33
PDF
A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
2015
·
Sourav Tarafder
, Mihir Kr. Chakraborty
·
Springer proceedings in mathematics & statistics
·
17
Constructing illoyal algebra-valued models of set theory
2021
·
Benedikt Löwe
, Robert Paßmann
, et al.
·
Algebra Universalis
·
16
PDF
Non-classical Foundations of Set Theory
2021
·
SOURAV TARAFDER
·
Journal of Symbolic Logic
·
13
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
2014
·
Sourav Tarafder
·
Lecture notes in computer science
·
12
Independence Proofs in Non-classical Set Theories
2021
·
SOURAV TARAFDER
, GIORGIO VENTURI
·
The Review of Symbolic Logic
·
10
Ideal Objects for Set Theory
2022
·
Santiago Jockwich
, Sourav Tarafder
, et al.
·
Journal of Philosophical Logic
·
8
ZF and its interpretations
2024
·
S. Jockwich Martinez
, S. Tarafder
, et al.
·
Annals of Pure and Applied Logic
·
7
$$\mathrm {ZF}$$ Between Classicality and Non-classicality
2021
·
Sourav Tarafder
, Giorgio Venturi
·
Studia Logica
·
4
Non-Classical Set Theories and Logics Associated With Them
2019
·
Sourav Tarafder
·
Bulletin of Symbolic Logic
·
3
PDF
The Internal Modal Logic of Forcing
2026
·
Jockwich, Santiago
, Tarafder, Sourav
, et al.
·
arXiv (Cornell University)
PDF
A note on the axiom of choice in an iterative paraconsistent set theory
2026
·
Santiago Jockwich
, Sourav Tarafder
, et al.
·
Logic Journal of IGPL
Transcending classical boundaries: Choice and its equivalences
2026
·
Arunavo Ganguly
, Sourav Tarafder
·
Annals of Pure and Applied Logic
Basic Mathematics Beyond Classicality
2024
·
Sourav Tarafder
·
Palgrave companions.
Consequence-Inconsistency Interderivability in Paraconsistent Logics and Paraconsistent Set Theory
2022
·
Soma Dutta
, Sourav Tarafder
·
Springer eBooks
Consequence-Inconsistency Interderivability in Paraconsistent Logics and Paraconsistent Set Theory
2020
·
Soma Dutta
, Sourav Tarafder
·
Springer eBooks
Show more works
View as search
Works count:
16
Citation count:
123
H-index:
7
I10-index:
6
Year
Topic
Type
