3 papers
math.LO2025
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…
math.LO2024
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…
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…