Sfoglia per Autore
Unification in L ukasiewicz Logic with a Finite Number of Variables
2020-01-01 Abbadini, Marco; DI STEFANO, Federica; Spada, Luca
General affine adjunctions, Nullstellensätze, and dualities
2020-01-01 Olivia, Caramello; Vincenzo, Marra; Spada, Luca
Are locally finite MV-algebras a variety?
2021-01-01 Abbadini, M.; Spada, L.
Sheaf representations and locality of Riesz spaces with order unit.
2021-01-01 Di Nola, A.; Lenzi, G.; Spada, L.
Ideals in the Two-Sorted Variety of Equational States
2023-01-01 Lapenta, S.; Napolitano, S.; Spada, L.
The Logic FP(Ł, Ł) and Two-Sorted Equational States
2023-01-01 Lapenta, Serafina; Napolitano, Sebastiano; Spada, Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Unification in L ukasiewicz Logic with a Finite Number of Variables | 1-gen-2020 | Abbadini, Marco; DI STEFANO, Federica; Spada, Luca | |
General affine adjunctions, Nullstellensätze, and dualities | 1-gen-2020 | Olivia, Caramello; Vincenzo, Marra; Spada, Luca | |
Are locally finite MV-algebras a variety? | 1-gen-2021 | Abbadini, M.; Spada, L. | |
Sheaf representations and locality of Riesz spaces with order unit. | 1-gen-2021 | Di Nola, A.; Lenzi, G.; Spada, L. | |
Ideals in the Two-Sorted Variety of Equational States | 1-gen-2023 | Lapenta, S.; Napolitano, S.; Spada, L. | |
The Logic FP(Ł, Ł) and Two-Sorted Equational States | 1-gen-2023 | Lapenta, Serafina; Napolitano, Sebastiano; Spada, Luca |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile