3 papers
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.CV2023
Automatic Cadastral Boundary Detection of Very High Resolution Images Using Mask R-CNN
Neda Rahimpour Anaraki, Alireza Azadbakht, Maryam Tahmasbi +3
Recently, there has been a high demand for accelerating and improving the detection of automatic cadastral mapping. As this problem is in its starting point, there are many methods…
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…