An axiomatization of the finite-valued Łukasiewicz calculus

DOI10.1007/BF00374052zbMath0657.03009MaRDI QIDQ1110497

Roman Tuziak

Publication date: 1988

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Lindenbaum algebrasapproximation of the finite-valued Łukasiewicz logics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Extending the Curry-Howard interpretation to linear, relevant and other resource logics, Łukasiewicz and His Followers in Many-Valued Logic, Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3, Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss, Bounded contraction and Gentzen-style formulation of Łukasiewicz logics

Cites Work

• Unnamed Item
• Unnamed Item
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• A method of axiomatization of Lukasiewicz logics
• Fragments of Many-Valued Statement Calculi
• Beiträge zum Metaaussagenkalkül I