Extensions of the \(\aleph_ 0\)-valued Łukasiewicz propositional logic

DOI10.1305/ndjfl/1093634656zbMath0789.03020OpenAlexW2128755340MaRDI QIDQ1309335

M. G. Beavers

Publication date: 6 December 1993

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

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

zbMATH Keywords

extensions of the \(\aleph_ 0\)-valued Łukasiewicz propositional logicgenus of a formula

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Bounded contraction and Gentzen-style formulation of Łukasiewicz logics