Abir Nour

According to our database¹, Abir Nour authored at least 4 papers between 1999 and 2003.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2003

Propositional mixed logic: its syntax and semantics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

2002

The Tableau Method for a Logical System Based on a Finite Poset.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2002

2000

Sémantique de type Kripke d'un systéme logique basé sur un ensemble ordonné fini.

[BibT_eX]

[DOI]

Math. Log. Q., 2000

1999

Sémantique algébrique d'un systèmes logique basé sur un ensemble ordonné fini.

[BibT_eX]

[DOI]

Math. Log. Q., 1999