The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi

DOI10.1305/NDJFL/1093870933zbMath0593.03008OpenAlexW2079259656MaRDI QIDQ1076008

B. George

Publication date: 1985

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

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

zbMATH Keywords

complete axiomatizations

Mathematics Subject Classification ID

Many-valued logic (03B50)

This page was built for publication: The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi