@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
Open Logic Project retweeted
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

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
Open Logic Project retweeted
Ricardo Gentil@rhalah_rikota15 Sep 2022
Agora finalmente a primeira versão revisada (o que não quer dizer livre de erros :'-D).
Open Logic Project@OpenLogicProj20 Jun 2021
forall x: Calgary goes international (and other updates) openlogicproject.org/2021/06…

forall x: Calgary goes international (and other updates)

ICYMI, forall x: Calgary has been translated into German and Portuguese! forall x: Dortmund by Simon Wimmer is the German version (PDF) and para todxs: Natal by Daniel Durante et al is the Portugue…

openlogicproject.org
1
1
1
Open Logic Project retweeted
Open Logic Project@OpenLogicProj7 Dec 2021
Reminder: the free & open textbook forall x: An Introduction to Formal Logic is now available in German and Portuguese!
Open Logic Project@OpenLogicProj20 Jun 2021
forall x: Calgary goes international (and other updates) openlogicproject.org/2021/06…

forall x: Calgary goes international (and other updates)

ICYMI, forall x: Calgary has been translated into German and Portuguese! forall x: Dortmund by Simon Wimmer is the German version (PDF) and para todxs: Natal by Daniel Durante et al is the Portugue…

openlogicproject.org
11
25
Open Logic Project retweeted
Lógica MX@MxLogica25 Oct 2021
✨✨Let's talk about the "Open Logic Project"!✨✨ The OLP is an open-source, collaborative logic set of teaching materials for formal (meta)logic and formal methods. It is available for free and it is modifiable and rearrangeable depending on the teaching needs/purposes.
3
45
1
145
Open Logic Project retweeted
Open Logic Project@OpenLogicProj10 Jul 2021
Updates to OLP for Fall 2021 edition of Sets, Logic, Computation A thread ⬇️ openlogicproject.org/2021/07…
1
2
4
Open Logic Project retweeted
Audrey Yap@audreyseokhean9 Jul 2021
@RrrichardZach maybe we need some motivational post-it functionality in the @OpenLogicProj
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
1
1
Open Logic Project retweeted
UConn Logic Group@UConnLogicGroup6 Jul 2021
Second Day for Inclusive Logic! Start: 12 July 0:00 UTC = 11 July 8:00 pm EDT. sites.google.com/view/logics…

Inclusive Logic

On 10 June 2020, concordant with #ShutDownSTEM, we organized a Day of Inclusive Logic: a 24-continuous-hour online workshop on inclusiveness and diversity. You can find Teresa Kouri Kissel's write-up...

sites.google.com
2
1
Open Logic Project retweeted
Kevin J.S. Zollman@KevinZollman4 Jul 2021
Replying to @AlexJohnLondon
The Open Logic Project is nice. @OpenLogicProj open.umn.edu/opentextbooks/t…
1
5
Open Logic Project retweeted
Open Logic Project@OpenLogicProj14 Jan 2021
Replying to @OpenLogicProj @UNESCO_WLD
If that's not enough, we have a list of other free/open logic books for #WorldLogicDay, most of them @creativecommons licensed: github.com/OpenLogicProject/…
5
11
Open Logic Project retweeted
Westley Sable@analytix828 May 2021
Just found Open Logic Project. What an awesome resource!
1
Open Logic Project retweeted
A. J. Cotnoir@ajcotnoir9 Apr 2021
Looking for a good introduction to ZFC aimed at early grad students. Any recommendations?
7
5
1
22
Open Logic Project retweeted
Audrey Yap@audreyseokhean7 Dec 2020
Open source non classical logic!
This Post is from an account that no longer exists. Learn more
2
9
Open Logic Project retweeted
Audrey Yap@audreyseokhean7 Dec 2020
I know everything is on fire and bad, but part of the final project process for my 3rd yr logic students was giving substantive feedback on their peers' drafts and they are so constructive and helpful and good that I am getting all sentimental and I just want to bake them cookies
2
2
30
Open Logic Project retweeted
Daniel Litt
@littmath29 Nov 2020
i can’t stop making jokes about the Halting problem
14
31
3
190
Open Logic Project retweeted
Ryan Reece@RyanDavidReece29 Nov 2020
So far, the best resources have been - Paul Teller's Modern Formal Logic Primer - The Open Logic Text openlogicproject.org/downloa… - Logic In Action logicinaction.org/docs/lia.p…

Download

Find out where and how to get the source code and PDFs of the Open Logic Text.

openlogicproject.org
1
10
33
Open Logic Project retweeted
Rineke Verbrugge@RinekeV18 Nov 2020
Replying to @SaraLUckelman
Another alternative is 'Boxes and Diamonds' in @RrrichardZach's Open Logic project: richardzach.org/2019/09/25/b…
1
3
Open Logic Project retweeted
Doctor Logic@SaraLUckelman25 Sep 2020
Logic textbooks written by women diaryofdoctorlogic.wordpress…

Logic textbooks written by women

A conversation on twitter yesterday made me realize I couldn’t name a single logic textbook written by a woman (other than my own draft book), where by “logic textbook” I intended…

diaryofdoctorlogic.wordpress.com
15
25
2
86
Open Logic Project retweeted
UConn Logic Group@UConnLogicGroup2 Apr 2020
No in person talks for the rest of the semester due to the pandemic. But we're moving online! We're forming a Logic SuperGroup with the colleagues from Kansas, Melbourne, UNAM, Buenos Aires, NZ, and possibly soon more! More than a silver lining. Exciting!
2
6
2
34
Open Logic Project retweeted
Open Logic Project@OpenLogicProj11 Nov 2019
Fall 2019 textbook editions now available on Amazon openlogicproject.org/2019/11…
10
2
34
Open Logic Project retweeted
Open Logic Project@OpenLogicProj29 Aug 2019
Tim Button’s Open Set Theory now part of the Open Logic Project openlogicproject.org/2019/08…
2
52
3
118
Load more