Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study
Jayanta Sen, M.K. Chakraborty · Journal of Applied Non-Classical Logics · 2001
A new characterization of all the MV-algebras embedded in a CL-algebra has been presented. A new sequent calculus for Lukasiewicz ℵ0-valued logic is introduced. Some links between this calculus and the sequent calculus for multiplicative additive linear logic are established. It has been shown that Lukasiewicz ℵ0-valued logic can be embedded in a suitable extension of MALL.