Formalisations of further ℵ0-valued Łukasiewicz propositional calculi

DOI10.2307/2272818MaRDI QIDQ4184818zbMATH OpenOpenAlexWikidataFDO

Authors Alan Rose

Publication date 1978

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2272818

zbMATH Keywords

Finite AxiomatizationLukasiewicz Propositional CalculiMulti-Valued LogicWeakly Complete

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites work

• A theorem about infinite-valued sentential logic

This page was built for publication: Formalisations of further ℵ₀-valued Łukasiewicz propositional calculi

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