Completeness for modal tableaux
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Documentazione
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Stack tecnologico
- tex
- Ambito
- documentation
Direzione di ricerca
Inizia in normal-modal-logic/tableaux ed esamina il materiale e le convenzioni esistenti sui tableaux modali. Aggiungi lì la dimostrazione di completezza mancante, in modo che la sezione sia sufficientemente completa da supportare la trattazione della logica modale normale nel libro di testo.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Completeness proof for modal tableaux still needed (normal-modal-logic/tableaux)
- Lingua principale
- TeX
- Stelle
- 1.4k
- Fork
- 289
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di OpenLogicProject/OpenLogic
-
Russel's Paradox typoAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
OpenLogicProject/OpenLogic#339 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
OpenLogicProject/OpenLogic#435 · 1 commento ·
-
Order-type of models of PAAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
OpenLogicProject/OpenLogic#425 · 1 commento ·
-
Improve docsAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
OpenLogicProject/OpenLogic#390 ·
Tutte le issue di OpenLogicProject/OpenLogic
Issue simili
-
documentation good first issue hacktoberfest help wanted
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
libredb/libredb-studio#1756 ·
I maintainer di solito rispondono entro 1 giorno
-
docs(skills): issue-first should reference an existing Linear ticket instead of filing a duplicateApertadocumentation
Difficoltà 1/5 1-3 ore Idoneità per principianti 74/100
I maintainer di solito rispondono entro 1 giorno
-
documentation
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
-
area: docs good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 64/100
I maintainer di solito rispondono entro 1 giorno
-
Statuslist example's pass-through compressor makes the card checker read every entry as revokedApertaenhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
decentralized-identity/kya-os-mcp#254 ·
I maintainer di solito rispondono entro 1 giorno