An algebraic proof of completeness for the two-valued propositional calculus

DOI10.4064/CM-2-3-4-236-240MaRDI QIDQ5810543zbMATH OpenOpenAlexFDO

Authors Jerzy Łoś

Publication date 1951

Published in Colloquium Mathematicum (Search for Journal in Brave)

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

zbMATH Keywords

foundations, philosophy, logic

Cited in

(1)

• The algebraic treatment of the methodology of elementary deductive systems

This page was built for publication: An algebraic proof of completeness for the two-valued propositional calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5810543)