OpenLogicProject/OpenLogic

Vedi su GitHub

An open-source, customizable intermediate logic textbook

Stelle: 1.4k
Fork: 288
Issue aperte per principianti: 0
Issue indicizzate: 42

Lingua principale: TeX
Licenza: CC-BY-4.0
Ultimo push su GitHub: 14/8/2026
Ultima indicizzazione: 20/9/2026
Guida per i contributori: Nessuna guida per i contributori
Codice di condotta: Nessun codice di condotta
Label per principianti: Nessuna label per principianti indicizzata
Metriche di merge delle PR: Nessuna PR unita negli ultimi 30g

Adatte ai principianti Tutto

Aperta Tutte

42 issue aperte indicizzate

Seven localized source corrections found during translation QA Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

OpenLogicProject/OpenLogic#435 · 1 commento · Aperta il 17/8/2026
Order-type of models of PA Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

OpenLogicProject/OpenLogic#425 · 1 commento · Aperta il 18/3/2026
Improve docs Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#390 · Aperta il 30/3/2025
Linting/Spellchecking workflow Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

OpenLogicProject/OpenLogic#389 · 1 commento · Aperta il 30/3/2025
Can I contribute proofs to theorems whose proof left for exercise? Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

OpenLogicProject/OpenLogic#362 · 3 commenti · Aperta il 10/2/2024
Russel's Paradox typo Aperta

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100

OpenLogicProject/OpenLogic#339 · 1 commento · Aperta il 25/9/2023
More precise definition of derivations in natural deduction Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100

OpenLogicProject/OpenLogic#300 · 4 commenti · Aperta il 14/2/2022
Justify intuitionistic logic through the BHK interpretation could be problematic Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#288 · Aperta il 25/11/2021
Recursive functions and the Church-Turing thesis Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#232 · 4 commenti · 1 reazione · Aperta il 16/4/2020
Provide the reader with full information Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#227 · 1 reazione · Aperta il 24/1/2020
[feature request] Grounding examples for abstract concepts Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#225 · Aperta il 15/1/2020
Turing machine continuity w/ other definitions Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#221 · 1 commento · Aperta il 28/12/2019
Convert formulas to OLP commands in set-theory Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#205 · Aperta il 29/8/2019
Uniformize reduction, conversion, contraction, equivalence Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100

OpenLogicProject/OpenLogic#190 · Aperta il 28/2/2019
Add proof of fundamental theorem of arithmetic Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

OpenLogicProject/OpenLogic#189 · 3 commenti · Aperta il 27/2/2019
Proof of Consistency Expansion (First Order Logic - Completeness) Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

OpenLogicProject/OpenLogic#179 · 1 commento · Aperta il 14/6/2018
Make tableaux into decision procedures when possible Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#178 · 1 commento · Aperta il 2/4/2018
Make tableaux signed/unsigned per tag Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#176 · Aperta il 27/3/2018
Syntax and Semantics for FOL material has become too technical Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#173 · 3 commenti · Aperta il 5/3/2018
Left-align signed formulas in tableaux Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

OpenLogicProject/OpenLogic#172 · Aperta il 27/2/2018
Completeness for modal tableaux Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#171 · 1 commento · Aperta il 27/2/2018
On verifying that primitive-recursive functions are provably total in PA Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#160 · 9 commenti · Aperta il 10/11/2017
Make independent of memoir Aperta

LaTeX

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#151 · Aperta il 21/8/2017
PDF generation for reviewing changes in pull requests Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#148 · 14 commenti · Aperta il 18/7/2017
Figure out how diagrams should work Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

OpenLogicProject/OpenLogic#141 · 1 commento · Aperta il 6/7/2017
Provability in PA Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#128 · Aperta il 3/6/2017
Explain formulas in SOL Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

OpenLogicProject/OpenLogic#127 · Aperta il 2/6/2017
Index Aperta

LaTeX

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#84 · Aperta il 4/3/2016
Generate PDF/A output Aperta

enhancement LaTeX

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#82 · Aperta il 22/1/2016
Replace token mechanism with one based on glossaries.sty Aperta

enhancement

OpenLogicProject/OpenLogic#78 · 1 assegnatario · Aperta il 10/12/2015
Make the OLP accessible Aperta

enhancement LaTeX

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#76 · 1 commento · Aperta il 25/11/2015
Replace tag backend by tagged package Aperta

enhancement LaTeX

Difficoltà 3/5 1-2 giorni Idoneità per principianti 50/100

OpenLogicProject/OpenLogic#75 · Aperta il 25/11/2015
Expand chapter on "Lambda Calculus" Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

OpenLogicProject/OpenLogic#66 · Aperta il 17/10/2015
Part on "Model Theory" Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#65 · 1 commento · Aperta il 17/10/2015
Part on "Intuitionistic Logic" Aperta

addition

Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100

OpenLogicProject/OpenLogic#64 · Aperta il 17/10/2015
Abstract logic satisfaction relation hardcoded Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 48/100

OpenLogicProject/OpenLogic#55 · 2 commenti · Aperta il 20/9/2015
Additions from available (non-CC) material Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#41 · 5 commenti · Aperta il 4/5/2015
Glossary & List/Index of symbols Aperta

enhancement LaTeX

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

OpenLogicProject/OpenLogic#40 · 2 commenti · Aperta il 9/4/2015
More careful object/metalanguage distinction Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

OpenLogicProject/OpenLogic#24 · 1 commento · Aperta il 10/2/2015
Add provability with open formulas Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

OpenLogicProject/OpenLogic#18 · Aperta il 10/7/2014
Alternate Representability in Q for Recursive Functions Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

OpenLogicProject/OpenLogic#17 · Aperta il 10/7/2014
open-logic-defer should offer more options Aperta

enhancement LaTeX

OpenLogicProject/OpenLogic#3 · 1 assegnatario · Aperta il 26/11/2013

OpenLogicProject/OpenLogic

Ricevi le nuove issue nella tua casella