3420
Reputación
Reputación
Nombre : Alan Jackson
Miembro desde : 5 de Octubre, 2014
Alan Jackson es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
La simplificación de una prueba categórica de dilema constructivo
el 5 de Julio, 2017 5 votos - 1 resp
nombre de la unidad de adjunción entre $-\times C$y $\cdot^C$
el 12 de Junio, 2017 7 votos - 1 resp
distribución de producto categórico (conjunción) sobre coproductos (separación)
el 12 de Marzo, 2017 6 votos - 5 resp
categórica interpretación de cuantificación
el 20 de Agosto, 2016 18 votos
Últimas Respuestas
- 1 votos
- 2 votos
¿Lo que lleva a cabo en un sistema deductivamente completo?
el 15 de Mayo, 2013 2 votos - 2 votos
La caja se derivan de un conjunto de cláusulas FOL
el 25 de Abril, 2013 2 votos - 2 votos
La simplificación de una prueba categórica de dilema constructivo
el 30 de Junio, 2014 2 votos - 5 votos
nombre de la unidad de adjunción entre $-\times C$y $\cdot^C$
el 7 de Septiembre, 2013 5 votos - 2 votos
Relación de equivalencia utilizando cuadros
el 17 de Junio, 2013 2 votos - 4 votos
categórica interpretación de cuantificación
el 19 de Agosto, 2013 4 votos
Etiquetas favoritas
- 11 x lógica
- 4 x category-teoría
- 3 x lógica-proposicional
- 3 x solicitud-de-referencia
- 2 x predicate-lógica
- 2 x cuantificadores
- 2 x first-order-lógica
