Work

Lógica, lenguajes formales y modalidad

Year: 2023
Type: article
Abstract: Este artículo examina dos supuestas limitaciones en el uso de lenguajes formales: por un lado, las compensaciones entre el poder expresivo e inferencial y, por el otro, el fenómeno del encarcelamiento del sistema. Después de reconceptualizar el tema, consideramos el papel que desempeña la modalidad en la comprensión de ciertos aspectos de las estructuras matemáticas y defendemos su centralidad.
Source: Andamios
Institution: University of Miami
Language: Spanish
Open Access status: diamond
OpenAlex ID: W4387967990
FWCI: 0.087
Cites: 15
Cited by: 1
Related to: 10