67 citations · 90 across the 8 of their papers we have counts for
3 papers · 1 filter
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…
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…
The Touché23-ValueEval Dataset for Identifying Human Values behind Arguments
Nailia Mirzakhmedova, Johannes Kiesel, Milad Alshomary +11
We present the Touché23-ValueEval Dataset for Identifying Human Values behind Arguments. To investigate approaches for the automated detection of human values behind arguments, we…