scientific article; zbMATH DE number 7300644
From MaRDI portal
Publication:5146272
zbMath1453.06011MaRDI QIDQ5146272
Giacomo Lenzi, Revaz Grigolia, Antonio Di Nola
Publication date: 25 January 2021
Full work available at URL: http://www.rmi.ge/transactions/TRMI-volumes/173-2/v173(2)-4.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Representations of monadic MV-algebras
- Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro
- Extending Stone duality to multisets and locally finite MV-algebras.
- Finitely generated free MV-algebras and their automorphism groups
- On monadic MV-algebras
- Algebraic Analysis of Many Valued Logics
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
- Theorie der polyadischenMV-Algebren endlicher Ordnung
- Unification through projectivity
- Further results on infinite valued predicate logic
- A weak completeness theorem for infinite valued first-order logic
This page was built for publication: