TY  - RPRT
TI  - Strong completeness for the predicate logic of the continuous t-norms
AU  - Diego Castaño
AU  - José Patricio Díaz Varela
AU  - Gabriel Savoy
PY  - 2024
UR  - https://arxiv.org/abs/2408.04792
ID  - 2408.04792
ER  -