Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study

DOI10.3166/jancl.11.313-329zbMath1032.03054OpenAlexW2052248224MaRDI QIDQ4443011

Jayanta Sen, Mihir Kumar Chakraborty

Publication date: 8 January 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.11.313-329

zbMATH Keywords

MV-algebrassequent calculuslinear logicinfinite-valued logicŁukasiewicz logicCL-algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• MV-algebras embedded in a CL-algebra
• Finiteness in infinite-valued Łukasiewicz logic
• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
• A modal view of linear logic

This page was built for publication: Linear Logic and Lukasiewicz ℵ₀- Valued Logic: A Logico-Algebraic Study