1 citations · 1 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2017
Some Improvements in Fuzzy Turing Machines
Hadi Farahani
In this paper, we modify some previous definitions of fuzzy Turing machines to define the notions of accepting and rejecting degrees of inputs, computationally. We use a BFS-based…