A lattice-theoretic characterisation of the \(\aleph_0\)-valued propositional calculus

DOI10.1007/BF02054953zbMath0042.24502OpenAlexW2047076329MaRDI QIDQ2649203

Alan Rose

Publication date: 1951

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160246

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Systems of logic whose truth-values form lattices
• A Lattice-Theoretic Characterisation of Three-Valued Logic
• Axiom Systems for Three-Valued Logic

This page was built for publication: A lattice-theoretic characterisation of the \(\aleph_0\)-valued propositional calculus