Advances in the theory of L algebras

DOI10.1093/JIGPAL/JZP089zbMath1252.03146OpenAlexW1939686229MaRDI QIDQ2885174

Enrico Marchioni, Luca Spada

Publication date: 21 May 2012

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

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

zbMATH Keywords

computational complexityfixed pointsMV-algebrasalgebraic semanticsfree algebrasreal closed fields\(\mu \)Ł\(\Pi \)-algebras

Mathematics Subject Classification ID

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

Related Items (2)

Franco Montagna's work on provability logic and many-valued logic ⋮ An expansion of basic logic with fixed points

This page was built for publication: Advances in the theory of  L  algebras