E-LIB Suche - Ergebnisse für: Spada, Luca

1

Ideals in the Two-Sorted Variety of Equational States:

, In: Fuzzy Logic and Technology, and Aggregation Operators; Lecture Notes in Computer Science,

Lapenta, Serafina ; Napolitano, Sebastiano ; Spada, Luca - p. 495-504 , 2023

Link: https://doi.org/10.1007/..

2

Are locally finite MV-algebras a variety?:

Abbadini, Marco ; Spada, Luca
Journal of Pure and Applied Algebra. 226 (2022) 4 - p. 106858 , 2022

Link: https://doi.org/10.1016/..

3

General affine adjunctions, Nullstellensätze, and dualities:

Caramello, Olivia ; Marra, Vincenzo ; Spada, Luca
Journal of Pure and Applied Algebra. 225 (2021) 1 - p. 106470 , 2021

Link: https://doi.org/10.1016/..

4

Join-completions of partially ordered algebras:

Gil-Férez, José ; Spada, Luca ; Tsinakis, Constantine.
Annals of Pure and Applied Logic. 171 (2020) 10 - p. 102842 , 2020

Link: https://doi.org/10.1016/..

5

Unification in Łukasiewicz Logic with a Finite Number of Va..:

, In: Information Processing and Management of Uncertainty in Knowledge-Based Systems; Communications in Computer and Information Science,

Abbadini, Marco ; Di Stefano, Federica ; Spada, Luca - p. 622-633 , 2020

Link: https://doi.org/10.1007/..

6

Canonical formulas for k-potent commutative, integral, resi..:

Bezhanishvili, Nick ; Galatos, Nick ; Spada, Luca
Algebra universalis. 77 (2017) 3 - p. 321-343 , 2017

Link: https://doi.org/10.1007/..

7

An expansion of Basic Logic with fixed points:

Spada, Luca
Soft Computing. 21 (2016) 1 - p. 29-37 , 2016

Link: https://doi.org/10.1007/..

8

MV-algebras, infinite dimensional polyhedra, and natural du..:

Cabrer, Leonardo M. ; Spada, Luca
Archive for Mathematical Logic. 56 (2016) 1-2 - p. 21-42 , 2016

Link: https://doi.org/10.1007/..

9

Duality, projectivity, and unification in Łukasiewicz logic..:

Marra, Vincenzo ; Spada, Luca
Annals of Pure and Applied Logic. 164 (2013) 3 - p. 192-210 , 2013

Link: https://doi.org/10.1016/..

10

The Dual Adjunction between MV-algebras and Tychonoff Space:

Marra, Vincenzo ; Spada, Luca
Studia Logica: An International Journal for Symbolic Logic. 100 (2012) 1/2 - p. 253-278 , 2012

Link: https://www.jstor.org/st..

11

The Dual Adjunction between MV-algebras and Tychonoff Space:

Marra, Vincenzo ; Spada, Luca
Studia Logica. 100 (2012) 1-2 - p. 253-278 , 2012

Link: https://doi.org/10.1007/..

12

Logic, language, and computation

8th International Tbilisi Symposium on Logic, Language, and... Lecture notes in computer science ; 6618, Lecture notes in artificial intelligence

Bezhanishvili, Nick ; Löbner, Sebastian ; Schwabe, Kerstin. , 2011

Link: http://dx.doi.org/10.100..

13

Representation of perfect and local MV-algebras:

Gerla, Brunella ; Russo, Ciro ; Spada, Luca
Mathematica Slovaca. 61 (2011) 3 - p. 327-340 , 2011

Link: https://doi.org/10.2478/..

14

A discrete representation of free MV‐algebras:

Di Nola, Antonio ; Grigolia, Revaz ; Spada, Luca
Mathematical Logic Quarterly. 56 (2010) 3 - p. 279-288 , 2010

Link: https://doi.org/10.1002/..

15

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

Di Nola, Antonio ; Lenzi, Giacomo ; Spada, Luca
Archive for Mathematical Logic. 49 (2010) 4 - p. 491-500 , 2010

Link: https://doi.org/10.1007/..