Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
March 7, 2018August 12, 2019

Open Logic at Open Education Week 2018

Uncategorized by rzach

It’s Open Education Week, and the Open logic Project will be part of the OER showcase at the University of Calgary tomorrow.

  • The presentation that Aaron and Richard are using for today’s workshop on “OER: What, Why, Where, How?“
  • The GitHub repository
  • The stand-alone textbooks from the OLP:
    • Sets, Logic, Computation
    • Incompleteness and Computability
    • Boxes and Diamonds (in progress)
  • The adaptation/remix/making accessible of P. D. Magnus’s intro logic text: forall x: Calgary
  • The ISSOTL 2018 poster on the evaluation of forall x: Calgary in the classroom.
  • The interactive proof checker to go with forall x by Kevin Klement

Share this:

  • Click to print (Opens in new window) Print
  • Click to share on Facebook (Opens in new window) Facebook
  • Click to share on Reddit (Opens in new window) Reddit
  • Click to share on Mastodon (Opens in new window) Mastodon
  • Click to share on X (Opens in new window) X
  • Click to share on Pocket (Opens in new window) Pocket
  • Click to email a link to a friend (Opens in new window) Email

Post navigation

Modal Logic! Propositional Logic! Tableaux!
forall x is going CC BY

What is This?

It’s is an open-source, collaborative textbook of logic and formal methods, starting at an intermediate level, aimed at a non-mathematical audience. Read more in About.

News

  • Preparing for Fall 2025
  • Selinger’s fitch.sty: 1.0 beta
  • Fall 2023 version of forall x: YYC now official, on Amazon
  • Fall 2023 version of forall x: Calgary
  • forall x now in HTML for extra accessibility

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.