Owner

OpenLogicProject

2 indexierte Repositories · Auf GitHub ansehen

OpenLogic
An open-source, customizable intermediate logic textbook

TeX · 1365 Sterne
fitch
Peter Selinger's LaTeX macros for Fitch style natural deduction

TeX · 20 Sterne

Einsteigerfreundlich Alles

Offen Alle

Seven localized source corrections found during translation QA Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100

OpenLogicProject/OpenLogic#435 · 1 Kommentar · Erstellt am 17.8.2026
Properly support tagging Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

OpenLogicProject/fitch#11 · 1 Kommentar · Erstellt am 25.7.2026
Order-type of models of PA Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

OpenLogicProject/OpenLogic#425 · 1 Kommentar · Erstellt am 18.3.2026
Improve docs Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#390 · Erstellt am 30.3.2025
Linting/Spellchecking workflow Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100

OpenLogicProject/OpenLogic#389 · 1 Kommentar · Erstellt am 30.3.2025
Can I contribute proofs to theorems whose proof left for exercise? Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

OpenLogicProject/OpenLogic#362 · 3 Kommentare · Erstellt am 10.2.2024
Make printing of line numbers configurable Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

OpenLogicProject/fitch#8 · 1 Kommentar · Erstellt am 15.10.2023
Russel's Paradox typo Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 65/100

OpenLogicProject/OpenLogic#339 · 1 Kommentar · Erstellt am 25.9.2023
hook for local definitions Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/fitch#3 · 1 Kommentar · Erstellt am 19.8.2023
More precise definition of derivations in natural deduction Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 38/100

OpenLogicProject/OpenLogic#300 · 4 Kommentare · Erstellt am 14.2.2022
Justify intuitionistic logic through the BHK interpretation could be problematic Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#288 · Erstellt am 25.11.2021
Recursive functions and the Church-Turing thesis Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#232 · 4 Kommentare · 1 Reaktion · Erstellt am 16.4.2020
Provide the reader with full information Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#227 · 1 Reaktion · Erstellt am 24.1.2020
[feature request] Grounding examples for abstract concepts Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#225 · Erstellt am 15.1.2020
Turing machine continuity w/ other definitions Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#221 · 1 Kommentar · Erstellt am 28.12.2019
Convert formulas to OLP commands in set-theory Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#205 · Erstellt am 29.8.2019
Uniformize reduction, conversion, contraction, equivalence Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 30/100

OpenLogicProject/OpenLogic#190 · Erstellt am 28.2.2019
Add proof of fundamental theorem of arithmetic Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

OpenLogicProject/OpenLogic#189 · 3 Kommentare · Erstellt am 27.2.2019
Proof of Consistency Expansion (First Order Logic - Completeness) Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

OpenLogicProject/OpenLogic#179 · 1 Kommentar · Erstellt am 14.6.2018
Make tableaux into decision procedures when possible Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#178 · 1 Kommentar · Erstellt am 02.4.2018
Make tableaux signed/unsigned per tag Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#176 · Erstellt am 27.3.2018
Syntax and Semantics for FOL material has become too technical Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#173 · 3 Kommentare · Erstellt am 05.3.2018
Left-align signed formulas in tableaux Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

OpenLogicProject/OpenLogic#172 · Erstellt am 27.2.2018
Completeness for modal tableaux Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#171 · 1 Kommentar · Erstellt am 27.2.2018
On verifying that primitive-recursive functions are provably total in PA Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#160 · 9 Kommentare · Erstellt am 10.11.2017
Make independent of memoir Offen

LaTeX

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#151 · Erstellt am 21.8.2017
PDF generation for reviewing changes in pull requests Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#148 · 14 Kommentare · Erstellt am 18.7.2017
Figure out how diagrams should work Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

OpenLogicProject/OpenLogic#141 · 1 Kommentar · Erstellt am 06.7.2017
Provability in PA Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#128 · Erstellt am 03.6.2017
Explain formulas in SOL Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

OpenLogicProject/OpenLogic#127 · Erstellt am 02.6.2017
Index Offen

LaTeX

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#84 · Erstellt am 04.3.2016
Generate PDF/A output Offen

enhancement LaTeX

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#82 · Erstellt am 22.1.2016
Replace token mechanism with one based on glossaries.sty Offen

enhancement

OpenLogicProject/OpenLogic#78 · 1 zugewiesene Person · Erstellt am 10.12.2015
Make the OLP accessible Offen

enhancement LaTeX

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#76 · 1 Kommentar · Erstellt am 25.11.2015
Replace tag backend by tagged package Offen

enhancement LaTeX

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 50/100

OpenLogicProject/OpenLogic#75 · Erstellt am 25.11.2015
Expand chapter on "Lambda Calculus" Offen

enhancement

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

OpenLogicProject/OpenLogic#66 · Erstellt am 17.10.2015
Part on "Model Theory" Offen

enhancement

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#65 · 1 Kommentar · Erstellt am 17.10.2015
Part on "Intuitionistic Logic" Offen

addition

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

OpenLogicProject/OpenLogic#64 · Erstellt am 17.10.2015
Abstract logic satisfaction relation hardcoded Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 48/100

OpenLogicProject/OpenLogic#55 · 2 Kommentare · Erstellt am 20.9.2015
Additions from available (non-CC) material Offen

enhancement

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#41 · 5 Kommentare · Erstellt am 04.5.2015
Glossary & List/Index of symbols Offen

enhancement LaTeX

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

OpenLogicProject/OpenLogic#40 · 2 Kommentare · Erstellt am 09.4.2015
More careful object/metalanguage distinction Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

OpenLogicProject/OpenLogic#24 · 1 Kommentar · Erstellt am 10.2.2015
Add provability with open formulas Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

OpenLogicProject/OpenLogic#18 · Erstellt am 10.7.2014
Alternate Representability in Q for Recursive Functions Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

OpenLogicProject/OpenLogic#17 · Erstellt am 10.7.2014
open-logic-defer should offer more options Offen

enhancement LaTeX

OpenLogicProject/OpenLogic#3 · 1 zugewiesene Person · Erstellt am 26.11.2013

OpenLogicProject

Neue Issues direkt in Ihr Postfach