Advances in the theory of Ł algebras
DOI10.1093/JIGPAL/JZP089zbMATH Open1252.03146OpenAlexW1939686229MaRDI QIDQ2885174FDOQ2885174
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
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
computational complexityfixed pointsfree algebrasMV-algebrasalgebraic semanticsreal closed fields\(\mu \)Ł\(\Pi \)-algebras
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)
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
- \(\mu \)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)