Lindenbaum-type Logical Structures
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2021
- DOI:
- 10.48550/arXiv.2107.10768
- arXiv:
- arXiv:2107.10768
- Bibcode:
- 2021arXiv210710768R
- Keywords:
-
- Mathematics - Logic;
- 03B22;
- 03B47
- E-Print:
- The final version of the article has been submitted to Logica Universalis. This version contains some major revisions and expansions