Open Logic Project (@OpenLogicProj) header
Open Logic Project (@OpenLogicProj) profile picture

Open Logic Project

@OpenLogicProj

Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.

openlogicproject.org/
Joined November 2013
  • Tweets1.5K
  • Following13
  • Followers1.5K
92Media
Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)Photo by Open Logic Project (@OpenLogicProj)
We are no longer active on Twitter. Subscribe by email: openlogicproject.org/subscri… or follow us on the Fediverse: openlogicproject.org/@openlo…

Subscribe by Email

Visit the post for more.

openlogicproject.org
2
1
1
547
Beta version of fitch.sty 1.0 available for testing (that's Selinger's natural deduction package) openlogicproject.org/2023/10…

Selinger’s fitch.sty: 1.0 beta

Peter Selinger’s fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (e.g., in the free/open logic textbooks of the forall x family). It is now…

openlogicproject.org
4
8
1,447
There's a new (beta) version of forall x: Calgary. Here’s a list of changes: openlogicproject.org/2023/08…

Fall 2023 version of forall x: Calgary

I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a bit to see if there are any problems. Here’s a list of changes: Fully accessible H…

openlogicproject.org
1
6
1,290
Open Logic Project retweeted
Open Logic Project (@OpenLogicProj) profile picture
Open Logic Project@OpenLogicProj27 Jul 2023
The #open #logic textbook forall x: Calgary is now available in HTML with extra #accessibility features for #blind students #a11y #OER #opentextbook openlogicproject.org/2023/07…
forall x now in HTML for extra accessibility

forall x now in HTML for extra accessibility

I’m happy to report that forall x: Calgary is now available in an HTML version for reading online. It turned out that LaTeXML has come a long way and basically produced good results without t…

openlogicproject.org
15
44
6,215
The #open #logic textbook forall x: Calgary is now available in HTML with extra #accessibility features for #blind students #a11y #OER #opentextbook openlogicproject.org/2023/07…
forall x now in HTML for extra accessibility

forall x now in HTML for extra accessibility

I’m happy to report that forall x: Calgary is now available in an HTML version for reading online. It turned out that LaTeXML has come a long way and basically produced good results without t…

openlogicproject.org
15
44
6,215
[New Issue] Fix a few typos github.com/OpenLogicProject/…

Fix a few typos by pitmonticone · Pull Request #333 · OpenLogicProject/OpenLogic

Hi @rzach @avigad and contributors, I've just fixed a few typos I've collected while reading and skimming the chapters of this brilliant resource.

github.com
457
[New Issue] Fix typos github.com/OpenLogicProject/…
Fix typos by vladh · Pull Request #332 · OpenLogicProject/OpenLogic

Fix typos by vladh · Pull Request #332 · OpenLogicProject/OpenLogic

Thank you for this lovely textbook. :)

github.com
1
412
[New Issue] Format set axioms github.com/OpenLogicProject/…
Format set axioms by savq · Pull Request #331 · OpenLogicProject/OpenLogic

Format set axioms by savq · Pull Request #331 · OpenLogicProject/OpenLogic

Use display math mode instead of inline mode for set axioms Remove trailing whitespace I didn't update the formatting for the axiom of infinity because I don't know what's...

github.com
322
Happy #OEWeek23 and happy 10th birthday to us! 🎂 openlogicproject.org/2023/03…

The Open Logic Project is 10!

The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin consisted of just a few style files and six sections on sets and relations, and relat…

openlogicproject.org
2
1
9
3,780
The Open Logic Project is 10! openlogicproject.org/2023/03…

The Open Logic Project is 10!

The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin consisted of just a few style files and six sections on sets and relations, and relat…

openlogicproject.org
1
575
[New Issue] Fix small typo github.com/OpenLogicProject/…
Fix small typo by abrahimladha · Pull Request #330 · OpenLogicProject/OpenLogic

Fix small typo by abrahimladha · Pull Request #330 · OpenLogicProject/OpenLogic

"Wwe" becomes "We"

github.com
310
[New Issue] Fix typo github.com/OpenLogicProject/…

Fix typo by dawei-wang · Pull Request #329 · OpenLogicProject/OpenLogic

Fix #328

github.com
300
[New Issue] Typo in "recursive functions" github.com/OpenLogicProject/…
Typo in "recursive functions" · Issue #328 · OpenLogicProject/OpenLogic

Typo in "recursive functions" · Issue #328 · OpenLogicProject/OpenLogic

Typo location: OpenLogic/content/computability/recursive-functions/pr-functions.tex Line 127 in 082b087 primitive recursive definition of $\Mult$ is can be put into the What is the typo: Prove Prop...

github.com
280
[New Issue] Small typo in Simultation Primitive Recursion github.com/OpenLogicProject/…
Small typo in Simultation Primitive Recursion by feffemannen · Pull Request #326 · OpenLogicProje...

Small typo in Simultation Primitive Recursion by feffemannen · Pull Request #326 · OpenLogicProje...

github.com
1
285
[New Issue] Small typo (already used variable name) in Functions Representable in Q are Computable github.com/OpenLogicProject/…

Small typo (already used variable name) in Functions Representable in Q are Computable by feffema...

github.com
1
258
[New Issue] Small typo in Lindenbaum's lemma for int logic zpr.io/sLkH5nN328kB
1
[New Issue] Small typo in description of canonical model zpr.io/dq8BubhZgBng
Small typo in description of canonical model by feffemannen · Pull Request #325 · OpenLogicProjec...

Small typo in description of canonical model by feffemannen · Pull Request #325 · OpenLogicProjec...

github.com
1
[New Issue] Slc f21 bis zpr.io/FcYFFaFAr229
Slc f21 bis by rzach · Pull Request #323 · OpenLogicProject/OpenLogic

Slc f21 bis by rzach · Pull Request #323 · OpenLogicProject/OpenLogic

github.com
[New Commit] spell out JFK; fixes issue #320 zpr.io/QPa9BiqASkJh
spell out JFK; fixes issue #320 · OpenLogicProject/OpenLogic@749c7db

spell out JFK; fixes issue #320 · OpenLogicProject/OpenLogic@749c7db

github.com
[New Commit] Fix a typo in a proof about filtrations zpr.io/vC7JuUTJ58JM

Fix a typo in a proof about filtrations · OpenLogicProject/OpenLogic@f352b51

github.com
1
Load more