Sayantan RoyIndraprastha Institute of Information Technology, Delhi
Sayantan Roy
Doctoral Student
About
9
Publications
483
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
5
Citations
Introduction
Skills and Expertise
Publications
Publications (9)
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent and primary. In this article, we start by asking whether a negation operator is essential for descri...
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics induced by Hilbert-style presentations (Hilbert-style logics) were introduced in a recent paper. A sufficient...
In this article, we try to formulate a definition of ''many-valued logical structure''. For this, we embark on a deeper study of Suszko's Thesis ($\mathbf{ST}$) and show that the truth or falsity of $\mathbf{ST}$ depends, at least, on the precise notion of semantics. We propose two different notions of semantics and three different notions of entai...
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent and primary. In this article, we start by asking whether a negation operator is essential for descri...
In this paper, we study some classes of logical structures from the universal logic standpoint, viz., those of the Tarski- and the Lindenbaum-types. The characterization theorems for the Tarski- and two of the four different Lindenbaum-type logical structures have been proved as well. The separations between the five classes of logical structures,...
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent. In this article, we ask whether a negation operator is essential for describing paraconsistency. In...
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent. In this article, we ask whether a negation operator is essential for describing paraconsistency. In...
In this paper, we study some classes of logical structures from the universal logic standpoint, viz., those of the previously known Tarski-type, and the new Lindenbaum-type logical structures defined here. The characterization theorems for these logical structures have been proved as well. The following natural questions have been dealt with next....
Slides for the talk given at Indian Conference on Logic and Applications (ICLA) 2021
Network
Cited