The ${\mathcal L}^m_n$-propositional calculus

DOI10.21136/MB.2015.144176zbMath1349.03090OpenAlexW2286777537MaRDI QIDQ5249621

Alicia Ziliani, Carlos Gallardo

Publication date: 6 May 2015

Full work available at URL: http://hdl.handle.net/10338.dmlcz/144176

zbMATH Keywords

completeness theoremequationally definable principal congruencesŁukasiewicz algebra of order \(n\)\(m\)-generalized Łukasiewicz algebra of order \(n\)implicative extensional propositional calculus

Mathematics Subject Classification ID

De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (1)

A generalization of monadic \(n\)-valued Łukasiewicz algebras

This page was built for publication: The ${\mathcal L}^m_n$-propositional calculus