Perfeziona i miei risultati
Document type
Institution
Collection spécifique
Lingua
- Inglese (1)
Autore
- Spinks, M. (1)
-
Veroff, R. (1)
Parola chiave
- $${\mathcal{FL}_{ew}}$$ -algebra (1)
- Constructive logic (1)
- Nelson algebra (1)
- residuated lattice (1)
- strong negation (1)
- substructural logic (1)