MVLSC HomeIssue Contents

Polyadic BL-Algebras: A Representation Theorem
Dumitru Daniel Dragulici

In this article we define polyadic BL-algebras as algebraic structures for BL-predicate calculus (BL∀). We prove a representation theorem, which is the algebraic counterpart of the completeness theorem for BL∀, and we obtain as a particular case a representation theorem for polyadic Pavelka algebras.

BL-algebra, Pavelka algebra, polyadic BL-algebra, polyadic Pavelka algebra.

Mathematics Subject Classification: 03G15, 03B50.

Full Text (IP)