TY  - RPRT
TI  - A proof for completeness of Łukasiewicz logic
AU  - Doratossadat Dastgheib
AU  - Hadi Farahani
PY  - 2023
UR  - https://arxiv.org/abs/2308.01623
ID  - 2308.01623
ER  -