5 citations · 5 across the 13 of their papers we have counts for
13 papers
Possibilistic Logic over a Logic of Formal Inconsistency
Esha Jain, Sankha S. Basu
In this article, we have introduced a new possibilistic logic on a logic of formal inconsistency with the aim of developing a possibility theoretic framework to deal with uncertain…
How a computer might think
Sankha S. Basu
Inspired by Nuel Belnap's "How a computer should think," which gave rise to the four-valued logic FDE, we contemplate, in this article, how a computer might think if we add a fifth…
Topological semantics for a non-self-extensional LFI
Esha Jain, Sankha S. Basu
In this article, we have introduced a Logic of Formal Inconsistency (LFI) that we call $\vd$. This logic is non-self-extensional, i.e., the replacement property, or the rule for su…
Generalized Explosion Principles: A Semantic Perspective
Sankha S. Basu, Sayantan Roy
This article is motivated by the fact that there is a distinction between the descriptions of logical explosion from syntactic and semantic points of view. The discussion is illust…
Paracomplete Probabilities
Sankha S. Basu, Esha Jain
This paper presents an advance in the direction of working with probabilities in a paracomplete setting using Logics of Formal Undeterminedness (LFUs). The undeterminedness is inte…
Abstract Model Structures and Compactness Theorems
Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and v…
Relational Companions of Logics
Sankha S. Basu, Sayantan Roy
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 variabl…
Suszko's Thesis and Many-valued Logical Structures
Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty
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 () and show that the t…
Generalized explosion principles
Sankha S. Basu, Sayantan Roy
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 o…
Negation-Free Definitions of Paraconsistency
Sankha S. Basu, Sayantan Roy
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 o…
Lindenbaum-type Logical Structures
Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty
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 f…
Restricted Rules of Inference and Paraconsistency
Sankha S. Basu, Mihir K. Chakraborty
In this paper, we study two companions to a logic, viz., the left variable inclusion companion and the restricted rules companion, their nature and interrelations, especially in co…
Mass problems and intuitionistic higher-order logic
Sankha S. Basu, Stephen G. Simpson
In this paper we study a model of intuitionistic higher-order logic which we call \emph{the Muchnik topos}. The Muchnik topos may be defined briefly as the category of sheaves of s…