Preguntas de intuitionistic-lógica

18

1Resp

250Vistas

La semántica de un mínimo de lógica

Resuelta

Preguntado el 28 de Enero, 2018 por Taroccoesbrocco

5

2Resp

119Vistas

¿Diferencia entre$\lambda$ -$\mu$ - cálculo y teoría de tipo intuicionista + LEM para pruebas clásicas?

Abierta

Preguntado el 24 de Abril, 2019 por Programmer2134

10

2Resp

250Vistas

¿Cuál es la diferencia entre la lógica intuicionista, clásica, modal y lineal?

Abierta

Preguntado el 31 de Mayo, 2015 por stefanosn

5

3Resp

201Vistas

Verificación de la prueba en análisis constructivo

Abierta

Preguntado el 24 de Septiembre, 2018 por GreyCloud

31

3Resp

603Vistas

Diferencia entre prueba de negación y de contradicción

Resuelta

Preguntado el 30 de Abril, 2015 por stefanosn

9

1Resp

255Vistas

Intuitionistically, son estos no equivalentes? $P \rightarrow Q,\; \neg Q \rightarrow \neg P,\; P \wedge \neg Q \rightarrow \bot,\; \neg P \vee Q$

Resuelta

Preguntado el 20 de Mayo, 2015 por goblin

5

1Resp

143Vistas

comprensión lógica intuicionista

Abierta

Preguntado el 28 de Febrero, 2017 por M.Alexander

4

1Resp

137Vistas

Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas

Resuelta

Preguntado el 9 de Junio, 2016 por Arctictern

6

3Resp

164Vistas

Cálculo proposicional y lógica intuicionista

Resuelta

Preguntado el 14 de Enero, 2019 por p0llard

4

1Resp

149Vistas

¿Puede demostrarse explícitamente el axioma de elección en lógica de predicados (intuicionista), o es necesario algo como la teoría de tipos intuicionista?

Resuelta

Preguntado el 23 de Octubre, 2018 por mar_cel

10

1Resp

208Vistas

¿La doble negación se distribuye sobre la disyunción de manera intuitiva?

Resuelta

Preguntado el 10 de Noviembre, 2015 por Taroccoesbrocco

13

1Resp

157Vistas

lógica intuicionista

Resuelta

Preguntado el 29 de Mayo, 2016 por user21820

5

2Resp

120Vistas

¿$A \lor \neg A$ Afirmar decidability de la lógica intuicionista?

Resuelta

Preguntado el 23 de Noviembre, 2015 por Dan Oneață

6

1Resp

221Vistas

Prueba intuicionista de $\neg\neg(\neg\neg P \rightarrow P)$

Resuelta

Preguntado el 21 de Diciembre, 2015 por Liutas

13

1Resp

207Vistas

¿Por qué se llama lógica lineal?

Resuelta

Preguntado el 28 de Junio, 2017 por MacPaw Support

71

5Resp

5676Vistas

¿Son realmente lógicas las pruebas por contradicción?

Cerrada

Preguntado el 22 de Febrero, 2016 por Simp

12

2Resp

189Vistas

Ley de la controversia del medio excluido

Resuelta

Preguntado el 2 de Febrero, 2016 por Red

6

1Resp

201Vistas

Historia metafórica de la irrefutabilidad de la ley del medio excluido

Abierta

Preguntado el 18 de Julio, 2018 por Agnishom Chattopadhyay

6

2Resp

136Vistas

¿Son los dos Or-Elims equivalentes?

Resuelta

Preguntado el 19 de Septiembre, 2017 por Kenny Lau

6

1Resp

164Vistas

¿Podemos demostrar $1\neq 2$ utilizando métodos intuicionistas?

Resuelta

Preguntado el 22 de Septiembre, 2018 por CallMeLaNN

6

2Resp

202Vistas

¿La ley del medio excluido implica la existencia de los "intangibles"?

Resuelta

Preguntado el 26 de Diciembre, 2015 por CocoaPriest

Preguntas de intuitionistic-lógica

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

La semántica de un mínimo de lógica

¿Diferencia entre$\lambda$ -$\mu$ - cálculo y teoría de tipo intuicionista + LEM para pruebas clásicas?

¿Cuál es la diferencia entre la lógica intuicionista, clásica, modal y lineal?

Verificación de la prueba en análisis constructivo

Diferencia entre prueba de negación y de contradicción

Intuitionistically, son estos no equivalentes? $P \rightarrow Q,\; \neg Q \rightarrow \neg P,\; P \wedge \neg Q \rightarrow \bot,\; \neg P \vee Q$

comprensión lógica intuicionista

Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas

Cálculo proposicional y lógica intuicionista

¿Puede demostrarse explícitamente el axioma de elección en lógica de predicados (intuicionista), o es necesario algo como la teoría de tipos intuicionista?

¿La doble negación se distribuye sobre la disyunción de manera intuitiva?

lógica intuicionista

¿$A \lor \neg A$ Afirmar decidability de la lógica intuicionista?

Prueba intuicionista de $\neg\neg(\neg\neg P \rightarrow P)$

¿Por qué se llama lógica lineal?

¿Son realmente lógicas las pruebas por contradicción?

Ley de la controversia del medio excluido

Historia metafórica de la irrefutabilidad de la ley del medio excluido

¿Son los dos Or-Elims equivalentes?

¿Podemos demostrar $1\neq 2$ utilizando métodos intuicionistas?

¿La ley del medio excluido implica la existencia de los "intangibles"?

Etiquetas mas usadas

i-Ciencias.com

Powered by: