Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Mohammadi, Hamzeh"'
Autor:
Mohammadi, Hamzeh1 hamzeh.mohammadi@math.iut.ac.ir
Publikováno v:
Bulletin of the Section of Logic. Mar2024, Vol. 53 Issue 1, p1-28. 28p.
Autor:
Aghaei, Mojtaba, Mohammadi, Hamzeh
We present a rooted hypersequent calculus for modal propositional logic S5. We show that all rules of this calculus are invertible and that the rules of weakening, contraction, and cut are admissible. Soundness and completeness are established as wel
Externí odkaz:
http://arxiv.org/abs/1905.09039
Autor:
Aghaei, Mojtaba, Mohammadi, Hamzeh
We present the system G3S5, a Gentzen-style sequent calculus system for the modal propositional logic S5, which in a sense has the subformula property. We formulate the rules of G3 S5 in the system G3S5; which has the subformula property and prove th
Externí odkaz:
http://arxiv.org/abs/1711.04634
Autor:
Mohammadi, Hamzeh, Dehghan, Somayeh Farhang, Moradi, Nariman, Suri, Sheari, Pirposhteh, Elham Akhlaghi, Ardakani, Soheila Khodakarim, Golbabaei, Farideh *
Publikováno v:
In Reproductive Toxicology April 2021 101:115-123
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dehghan, Somayeh Farhang, Golbabaei, Farideh, Mohammadi, Hamzeh, Hadjar, Fahimeh Haji Esmaeil, Yamini, Azam
Publikováno v:
Journal of Military Medicine; Mar/Apr2024, Vol. 26 Issue 1, p2165-2178, 14p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Frontiers in Public Health. 11
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.