5 citations · 5 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
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…
math.LO2021
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…