Abir Nour

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Karim Nour, Abir Nour
Propositional mixed logic: its syntax and semantics. J. Appl. Non Class. Logics 13 (3-4) (2003)
Abir Nour
The Tableau Method for a Logical System Based on a Finite Poset. J. Appl. Non Class. Logics 12 (1) (2002)
Abir Nour
Sémantique de type Kripke d'un systéme logique basé sur un ensemble ordonné fini. Math. Log. Q. 46 (3) (2000)
Abir Nour
Sémantique algébrique d'un systèmes logique basé sur un ensemble ordonné fini. Math. Log. Q. 45 (1999)