Luca Spada

According to our database, Luca Spada authored at least 17 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The logic {FP}({Ł.

Serafina Lapenta, Sebastiano Napolitano, Luca Spada

Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

Ideals in the Two-Sorted Variety of Equational States.

Serafina Lapenta, Sebastiano Napolitano, Luca Spada

Proceedings of the Fuzzy Logic and Technology, and Aggregation Operators, 2023

2021

Sheaf representations and locality of Riesz spaces with order unit.

Antonio Di Nola, Giacomo Lenzi, Luca Spada

J. Log. Anal., 2021

2020

Join-completions of partially ordered algebras.

José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou

Ann. Pure Appl. Log., 2020

Unification in Łukasiewicz Logic with a Finite Number of Variables.

Marco Abbadini, Federica Di Stefano, Luca Spada

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

2017

An expansion of Basic Logic with fixed points.

Luca Spada

Soft Comput., 2017

MV-algebras, infinite dimensional polyhedra, and natural dualities.

Leonardo Manuel Cabrer, Luca Spada

Arch. Math. Log., 2017

2013

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.

Vincenzo Marra, Luca Spada

Ann. Pure Appl. Log., 2013

A general framework for geometric dualities for varieties of algebras.

Luca Spada

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

The Dual Adjunction between MV-algebras and Tychonoff Spaces.

Vincenzo Marra, Luca Spada

Stud Logica, 2012

2011

Advances in the theory of <i>μ</i>ŁΠ algebras.

Enrico Marchioni, Luca Spada

Log. J. IGPL, 2011

2010

A discrete representation of free MV-algebras.

Antonio Di Nola, Revaz Grigolia, Luca Spada

Math. Log. Q., 2010

Representation of MV-algebras by regular ultrapowers of [0, 1].

Antonio Di Nola, Giacomo Lenzi, Luca Spada

Arch. Math. Log., 2010

2008

Forcing in Lukasiewicz Predicate Logic.

Antonio Di Nola, George Georgescu, Luca Spada

Stud Logica, 2008

muMV-algebras: An approach to fixed points in Lukasiewicz logic.

Luca Spada

Fuzzy Sets Syst., 2008

LPi logic with fixed points.

Luca Spada

Arch. Math. Log., 2008

2005

Continuous approximations of product implication in MV-algebras with product.

Franco Montagna, Luca Spada

Soft Comput., 2005