Hadi Farahani
From MaRDI portal
Person:1938389
Available identifiers
zbMath Open farahani.hadiWikidataQ84912887 ScholiaQ84912887MaRDI QIDQ1938389
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| A proof for completeness of \L ukasiewicz logic | 2023-08-03 | Paper |
| Doxastic Lukasiewicz Logic with Public Announcement | 2023-04-17 | Paper |
| Some Doxastic \L ukasiewicz Logic | 2021-11-04 | Paper |
| Some improvements in fuzzy turing machines | 2019-10-29 | Paper |
| Correctness checking of a quantum protocol for reliable communications via feedback | 2019-09-04 | Paper |
| \(n\)-fold filters of MTL-algebras | 2015-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5402952 | 2014-03-17 | Paper |
| Glivenko theorems and negative translations in substructural predicate logics | 2013-02-04 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Hadi Farahani
