2021/07/22 by Sayantan Roy, Roy, Sayantan, Sankha S. Basu +3
Computer Science · #03B22 #03B47 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2107.10768
openalex publication_date 2021/07/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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, viz., the four Lindenbaum-types and the Tarski-type have been established via examples. Finally, we study the logical structures that are of both Tarski- and a Lindenbaum-type, show their separations, and end with characterization, adequacy, minimality, and representation theorems for one of the Tarski-Lindenbaum-type logical structures.