67 citations · 68 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
A proof for completeness of Łukasiewicz logic
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…
cs.LO2023
Doxastic Lukasiewicz Logic with Public Announcement
Doratossadat Dastgheib, Hadi Farahani
In this paper, we propose a doxastic extension of Lukasiewicz logic which is sound and complete relative to the introduced corresponding semantics. Also, we equip our doxast…