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

Abir Nour. Sémantique algébrique d un systèmes logique basé sur un ensemble ordonné fini. Math. Log. Q., 45:457-466, 1999.

Abstract

Abstract is missing.