An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz

DOI10.1305/NDJFL/1093870687zbMath0571.03007OpenAlexW1963537270MaRDI QIDQ1061733

Jacek K. Kabzinski

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870687

zbMATH Keywords

equivalential logicintuitionistic propositional logicŁukasiewicz logicHeyting logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (1)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension

This page was built for publication: An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz