LUPPI, Carla
LUPPI, Carla
Dipartimento di Matematica (attivo dal 01/01/1900 al 25/07/2012)
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.012 secondi).
Interpolation and definability in some modal Heyting Brouwer logics
2003-01-01 Luppi, Carla
Le trasformazioni lineari nella risoluzione di sistemi di equazioni differenziali e in un problema di statistica
2000-01-01 Luppi, Carla; Vezzani, A.
On the amalgamation property of the variety SB
2001-01-01 Luppi, Carla
On the Beth properties of some intuitionistic modal logics
2002-01-01 Luppi, Carla
On the Haldén property and disjunction property of Heyting-Brouwer intermediate prepositional logics,
2002-01-01 Luppi, Carla
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Interpolation and definability in some modal Heyting Brouwer logics | 1-gen-2003 | Luppi, Carla | |
| Le trasformazioni lineari nella risoluzione di sistemi di equazioni differenziali e in un problema di statistica | 1-gen-2000 | Luppi, Carla; Vezzani, A. | |
| On the amalgamation property of the variety SB | 1-gen-2001 | Luppi, Carla | |
| On the Beth properties of some intuitionistic modal logics | 1-gen-2002 | Luppi, Carla | |
| On the Haldén property and disjunction property of Heyting-Brouwer intermediate prepositional logics, | 1-gen-2002 | Luppi, Carla |