A proof of completeness of the three-valued C-N sentential calculus of Lukasiewicz

DOI10.1007/BF02123236zbMath0292.02016OpenAlexW2086105617MaRDI QIDQ1211491

Tadeusz Prucnal

Publication date: 1966

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

Full work available at URL: https://doi.org/10.1007/bf02123236

Mathematics Subject Classification ID

Many-valued logic (03B50) Categoricity and completeness of theories (03C35)

Related Items (1)

Unnamed Item

Cites Work

• A proof of completeness of the two-valued propositional calculus

This page was built for publication: A proof of completeness of the three-valued C-N sentential calculus of Lukasiewicz