nLab Łukasiewicz logic

Idea

(…)

 Related concepts

• fuzzy logic

• linear logic

• substructural logic

• MV-algebra

• antithesis interpretation

 References

• Wikipedia, Łukasiewicz logic

• Michael Shulman, Affine logic for constructive mathematics. Bulletin of Symbolic Logic, Volume 28, Issue 3, September 2022. pp. 327 - 386 (doi:10.1017/bsl.2022.28, arXiv:1805.07518)

Łukasiewicz logic is discussed in section 5 of:

• Peter Freyd, Algebraic real analysis, Theory and Applications of Categories, Vol. 20, 2008, No. 10, pp 215-306 (tac:20-10)