Lindenbaum-type Logical Structures

Abstract

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. Is every Tarski-type logical structure also of Lindenbaum-type and/or vice-versa? Finally, we study the logical structures that are both of Tarski-and Lindenbaum-type, or of TL-type and end with a characterization and a representation theorem for these.