Algebraic functions in Łukasiewicz implication algebras

DOI10.1142/S0218196716500119zbMath1339.06011OpenAlexW2279652948MaRDI QIDQ2799121

José Patricio Díaz Varela, Diego N. Castaño, Miguel A. Campercholi

Publication date: 8 April 2016

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196716500119

zbMATH Keywords

algebraic functionsŁukasiewicz implication algebrasKomori algebrasfirst order definable functions

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) MV-algebras (06D35) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Equational classes, universal algebra in model theory (03C05) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free Łukasiewicz and hoop residuation algebras
• ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS
• Global subdirect products
• Super-Łukasiewicz implicational logics

This page was built for publication: Algebraic functions in Łukasiewicz implication algebras