1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Doratossadat Dastgheib, Hadi Farahani
In this paper we give a new proof for the completeness of infinite valued propositional Łukasiewicz logic introduced by Łukasiewicz and Tarski in 1930. Our approach employs a Hilbe…