On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
From MaRDI portal
Publication:4586219
DOI10.1080/11663081.2017.1311147zbMath1398.03111OpenAlexW2607375259WikidataQ114010707 ScholiaQ114010707MaRDI QIDQ4586219
Publication date: 12 September 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2017.1311147
axiom systemsŁukasiewicz's many-valued logicssemantic incompletenessRosser-Turquette methodstandard conditions
Cites Work
This page was built for publication: On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz