Advances in the theory of Ł algebras

DOI10.1093/JIGPAL/JZP089MaRDI QIDQ2885174zbMATH OpenOpenAlexFDO

Authors Enrico Marchioni, Luca Spada

Publication date 21 May 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzp089

zbMATH Keywords

computational complexityfixed pointsfree algebrasMV-algebrasalgebraic semanticsreal closed fields\(\mu \)Ł\(\Pi \)-algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Complexity of computation (including implicit computational complexity) (03D15) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 1159853
• scientific article; zbMATH DE number 681979
• A note to the definition of the Ł\(\Pi\)-algebras
• Advanced Łukasiewicz calculus and MV-algebras
• scientific article; zbMATH DE number 3867529
• Modular representation theory and pi-algebras
• scientific article; zbMATH DE number 6795958
• scientific article; zbMATH DE number 67388
• scientific article; zbMATH DE number 5015755
• Brave new Hopf algebroids and extensions of \(MU\)-algebras

Cited in

(8)

• Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras
• Completions of \(\mu \)-algebras
• Franco Montagna's work on provability logic and many-valued logic
• MV-algebras: An approach to fixed points in Łukasiewicz logic
• Ł\(\Pi\) logic with fixed points
• A note to the definition of the Ł\(\Pi\)-algebras
• \(\in_\mu\)-logic -- a theory of propositional logics
• An expansion of basic logic with fixed points

This page was built for publication: Advances in the theory of \(\mu \)Ł\(\Pi \) algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2885174)