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

From MaRDI portal
Revision as of 19:45, 30 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6433695
Language Label Description Also known as
English
The ${\mathcal L}^m_n$-propositional calculus
scientific article; zbMATH DE number 6433695

    Statements

    0 references
    0 references
    6 May 2015
    0 references
    Łukasiewicz algebra of order \(n\)
    0 references
    \(m\)-generalized Łukasiewicz algebra of order \(n\)
    0 references
    equationally definable principal congruences
    0 references
    implicative extensional propositional calculus
    0 references
    completeness theorem
    0 references
    The ${\mathcal L}^m_n$-propositional calculus (English)
    0 references

    Identifiers