Direct proofs of Lindenbaum conditionals
From MaRDI portal
Publication:2254568
DOI10.1007/s11787-013-0081-1zbMath1342.03013OpenAlexW2001094080MaRDI QIDQ2254568
Publication date: 5 February 2015
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-013-0081-1
Philosophical and critical aspects of logic and foundations (03A05) Abstract deductive systems (03B22)
Related Items (1)
Cites Work
- Some restricted Lindenbaum theorems equivalent to the axiom of choice
- Untersuchungen über das logische Schliessen. I
- A proof-theoretic view of necessity
- Is there a ``Hilbert thesis?
- On Formally Measuring and Eliminating Extraneous Notions in Proofs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Direct proofs of Lindenbaum conditionals