All issues

Search results

Order-type of models of PA

Status: Open.

#425In OpenLogicProject/OpenLogic;

· beastaugh opened on Mar 18, 2026

Improve docs

Status: Open.

#390In OpenLogicProject/OpenLogic;

· StanFromIreland opened on Mar 30, 2025

Linting/Spellchecking workflow

Status: Open.

#389In OpenLogicProject/OpenLogic;

· StanFromIreland opened on Mar 30, 2025

Can I contribute proofs to theorems whose proof left for exercise?

Status: Open.

#362In OpenLogicProject/OpenLogic;

· marethyu opened on Feb 10, 2024

Russel's Paradox typo

Status: Open.

#339In OpenLogicProject/OpenLogic;

· HermesMarc opened on Sep 25, 2023

More precise definition of derivations in natural deduction

Status: Open.

#300In OpenLogicProject/OpenLogic;

· beastaugh opened on Feb 14, 2022

Justify intuitionistic logic through the BHK interpretation could be problematic

Status: Open.

#288In OpenLogicProject/OpenLogic;

· feffemannen opened on Nov 25, 2021

Recursive functions and the Church-Turing thesis

Status: Open.

#232In OpenLogicProject/OpenLogic;

· ionathanch opened on Apr 16, 2020

Provide the reader with full information

Status: Open.

#227In OpenLogicProject/OpenLogic;

· kirk86 opened on Jan 24, 2020

[feature request] Grounding examples for abstract concepts

Status: Open.

#225In OpenLogicProject/OpenLogic;

· kirk86 opened on Jan 15, 2020

Turing machine continuity w/ other definitions

Status: Open.

#221In OpenLogicProject/OpenLogic;

· BassP97 opened on Dec 28, 2019

Convert formulas to OLP commands in set-theory

Status: Open.

#205In OpenLogicProject/OpenLogic;

· rzach opened on Aug 29, 2019