Polyadic BL-Algebras. A Representation Theorem
In this article we define polyadic BL-algebras as algebraic structures for BL-predicate calculus (BL for all) We prove a representation theorem, which is the algebraic counterpart of the completeness theorem for BL for all, and we obtain as a particular case a representation theorem for polyadic Pavelka algebras
polyadic bl-algebra bl-algebra polyadic pavelka algebra pavelka algebra