Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
- Spinks, M. (1)
- Veroff, R. (1)
Mot clé
- $${\mathcal{FL}_{ew}}$$ -algebra (1)
- Constructive logic (1)
- Nelson algebra (1)
- residuated lattice (1)
- strong negation (1)
-
substructural logic (1)
