2003 | ||
---|---|---|
4 | Karim Nour, Abir Nour: Propositional mixed logic: its syntax and semantics. Journal of Applied Non-Classical Logics 13(3-4): 377-390 (2003) | |
2002 | ||
3 | Abir Nour: The Tableau Method for a Logical System Based on a Finite Poset. Journal of Applied Non-Classical Logics 12(1): 43-62 (2002) | |
2000 | ||
2 | EE | Abir Nour: Sémantique de type Kripke d'un systéme logique basé sur un ensemble ordonné fini. Math. Log. Q. 46(3): 417-432 (2000) |
1999 | ||
1 | Abir Nour: Sémantique algébrique d'un systèmes logique basé sur un ensemble ordonné fini. Math. Log. Q. 45: 457-466 (1999) |
1 | Karim Nour | [4] |