Sémantique algébrique des ressources pour la logique classique. (Algebraic resource semantics for classical logic)

Novak Novakovic. Sémantique algébrique des ressources pour la logique classique. (Algebraic resource semantics for classical logic). PhD thesis, National Polytechnic Institute of Lorraine, Nancy, France, 2011. [doi]

Abstract

Abstract is missing.