The ${\mathcal L}^m_n$-propositional calculus
From MaRDI portal
Publication:5249621
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
completeness theoremequationally definable principal congruencesŁukasiewicz algebra of order \(n\)\(m\)-generalized Łukasiewicz algebra of order \(n\)implicative extensional propositional calculus
De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items (1)
This page was built for publication: The ${\mathcal L}^m_n$-propositional calculus