A categorical approach to polyadic algebras

DOI10.1007/BF00403331zbMath0556.03047MaRDI QIDQ761451

Roch Ouellet

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Boolean-algebra objectcategory of locally finite transformation setsinternal supremum morphismlocally finite polyadic algebra

Mathematics Subject Classification ID

Special categories (18B99) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

Presenting functors on many-sorted varieties and applications ⋮ Algebraization of quantifier logics, an introductory overview

Cites Work

• Inclusive first-order logic
• Operations in Polyadic Algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: A categorical approach to polyadic algebras