Roberto Cignoli, Daniele Mundici. An Elementary Proof of Chang s Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz. Studia Logica, 58(1):79-97, 1997.
@article{CignoliM97,
title = {An Elementary Proof of Chang s Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz},
author = {Roberto Cignoli and Daniele Mundici},
year = {1997},
tags = {completeness},
researchr = {https://researchr.org/publication/CignoliM97},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {58},
number = {1},
pages = {79-97},
}