Lindenbaum-type logical structures
From MaRDI portal
Publication:6043098
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
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