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.
Keywords: BL-algebra, Pavelka algebra, polyadic BL-algebra, polyadic Pavelka algebra.
Mathematics Subject Classification: 03G15, 03B50.