We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: 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.
Comments: The final version of the article has been submitted to Logica Universalis. This version contains some major revisions and expansions
Subjects: Logic (math.LO)
MSC classes: 03B22, 03B47
Cite as: arXiv:2107.10768 [math.LO]
  (or arXiv:2107.10768v2 [math.LO] for this version)

Submission history

From: Sankha Basu [view email]
[v1] Thu, 22 Jul 2021 15:50:21 GMT (14kb)
[v2] Sun, 4 Sep 2022 14:50:18 GMT (30kb)

Link back to: arXiv, form interface, contact.