Luca Spada - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2023

The logic {FP}({ŁSerafina Lapenta, Sebastiano Napolitano, Luca Spada. isipta 2023: 280-287 [doi]

Ideals in the Two-Sorted Variety of Equational StatesSerafina Lapenta, Sebastiano Napolitano, Luca Spada. eusflat 2023: 495-504 [doi]

2021

Sheaf representations and locality of Riesz spaces with order unitAntonio di Nola, Giacomo Lenzi, Luca Spada. jla, 13, 2021. [doi]

2020

Unification in Łukasiewicz Logic with a Finite Number of VariablesMarco Abbadini, Federica Di Stefano, Luca Spada. ipmu 2020: 622-633 [doi]

Join-completions of partially ordered algebrasJosé Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou. APAL, 171(10):102842, 2020. [doi]

2017

MV-algebras, infinite dimensional polyhedra, and natural dualitiesLeonardo Manuel Cabrer, Luca Spada. AML, 56(1-2):21-42, 2017. [doi]

An expansion of Basic Logic with fixed pointsLuca Spada. soco, 21(1):29-37, 2017. [doi]

2013

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebrasVincenzo Marra, Luca Spada. APAL, 164(3):192-210, 2013. [doi]

A general framework for geometric dualities for varieties of algebrasLuca Spada. tacl 2014: 213-216 [doi]

2012

The Dual Adjunction between MV-algebras and Tychonoff SpacesVincenzo Marra, Luca Spada. sLogica, 100(1-2):253-278, 2012. [doi]

2011

Advances in the theory of ::::μ::::ŁΠ algebrasEnrico Marchioni, Luca Spada. igpl, 19(3):476-489, 2011. [doi]

2010

A discrete representation of free MV-algebrasAntonio di Nola, Revaz Grigolia, Luca Spada. mlq, 56(3):279-288, 2010. [doi]

Representation of MV-algebras by regular ultrapowers of [0, 1]Antonio di Nola, Giacomo Lenzi, Luca Spada. AML, 49(4):491-500, 2010. [doi]

2008

Forcing in Lukasiewicz Predicate LogicAntonio di Nola, George Georgescu, Luca Spada. sLogica, 89(1):111-145, 2008. [doi]

LPi logic with fixed pointsLuca Spada. AML, 47(7-8):741-763, 2008. [doi]

muMV-algebras: An approach to fixed points in Lukasiewicz logicLuca Spada. fss, 159(10):1260-1267, 2008. [doi]

2005

Continuous approximations of product implication in MV-algebras with productFranco Montagna, Luca Spada. soco, 9(3):149-154, 2005. [doi]

Sign in or sign up to see more results.

runs on WebDSL