Boris Eng es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Cómo podemos interpretar que $A, B \vdash A, B$ es indemostrable con la interpretación de recursos en Lógica Lineal?
el 21 de Noviembre, 2017 4 votos
Últimas Respuestas
- 2 votos
¿Cómo podemos interpretar que $A, B \vdash A, B$ es indemostrable con la interpretación de recursos en Lógica Lineal?
el 17 de Noviembre, 2017 2 votos - 4 votos
¿Por qué las personas separan la sintaxis y la semántica en la lógica matemática?
el 4 de Julio, 2017 4 votos
Etiquetas favoritas
- 1 x lógica
- 1 x filosofía
- 1 x logic
- 1 x proof-theory
- 1 x nonclassical-logic
- 1 x sequent-calculus
- 1 x linear-logic