Advanced Łukasiewicz calculus and MV-algebras

By D. Mundici. 2011

264 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/de3e8a8a0589da28fac564c789cfa922c08b0640

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. George Metcalfe
2. Constantine Tsinakis
3. Franco Montagna

In Computational Theory and Mathematics

1. Franco Montagna
2. George Metcalfe
3. Constantine Tsinakis
4. Peter Jipsen
5. Nikolaos Galatos

Citations in the corpus

• AMALGAMATION AND INTERPOLATION IN ORDERED ALGEBRAS (2014, background): “…and lattice operations defined pointwise, and residual operations defined as follows: (h\g)(p) = { h(p)\pg(p) if for all q > p, h(q) p g(q), 0 otherwise, (g/h)(p) = { g(p)/ph(p) if for all q > p, h(q) p (q), 0 otherwise where the subscript p denotes realization of operations and order in…”