Completeness for modal tableaux
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Documentación
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- tex
- Área
- documentation
Línea de trabajo
Comienza en normal-modal-logic/tableaux e inspecciona el material y las convenciones existentes sobre tableaux modales. Añade allí la demostración de completitud que falta, de modo que la sección sea lo bastante completa como para respaldar el tratamiento de la lógica modal normal del libro de texto.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Completeness proof for modal tableaux still needed (normal-modal-logic/tableaux)
- Lenguaje dominante
- TeX
- Estrellas
- 1.4k
- Forks
- 289
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de OpenLogicProject/OpenLogic
-
Russel's Paradox typoAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100
OpenLogicProject/OpenLogic#339 · 1 comentario ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 50/100
OpenLogicProject/OpenLogic#436 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
OpenLogicProject/OpenLogic#435 · 1 comentario ·
-
Order-type of models of PAAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
OpenLogicProject/OpenLogic#425 · 1 comentario ·
-
Improve docsAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
OpenLogicProject/OpenLogic#390 ·
Todos los issues de OpenLogicProject/OpenLogic
Issues similares
-
mxl-compile: пример заполнения ячеек отклоняется UnicaPosiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto
Dificultad 1/5 1-3 horas Aptitud para principiantes 91/100
IngvarConsulting/unica#1301 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 82/100
siyuan-note/siyuan#20313 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 82/100
gofish-graphics/gofish-graphics#1084 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 76/100
ethereum/execution-apis#935 ·
Los mantenedores suelen responder en 1 día