Lindenbaum-type logical structures

DOI10.1007/s11787-023-00322-2arXiv2107.10768MaRDI QIDQ6043098

Mihir Kumar Chakraborty, Sankha S. Basu, Sayantan Roy

Publication date: 4 May 2023

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.10768

zbMATH Keywords

universal logiclogical structuresLindenbaum-type logical structuresTarski-type logical structures

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Cites Work

• Some restricted Lindenbaum theorems equivalent to the axiom of choice
• A completeness-proof method for extensions of the implicational fragment of the propositional calculus
• A semantical analysis of the calculi \(C_n\)
• Many-valued logics and Suszko's thesis revisited
• On the theory of inconsistent formal systems
• Many-valuedness from a universal logic perspective
• Theory of Graded Consequence
• Three-Valued Paraconsistent Propositional Logics
• The Architecture of Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lindenbaum-type logical structures