Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News

Category: Uncategorized

December 23, 2017

Now With Axiomatic Derivations!

Uncategorized by rzach0 comments

In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays!

Read more>>
November 24, 2017

forall x YYC: Winter is coming

Uncategorized by rzach0 comments

Pulled the switch on the new natural deduction rules; the Winter 2018 ß version is now out. If you have […]

Read more>>
October 20, 2017July 4, 2019

ISSOTL 2017 Presentation of Student-Oriented Logic Course

Uncategorized by rzach0 comments

Aaron had a poster presentation at last week’s ISSOTL conference in Calgary, presenting the results of our evaluation of his […]

Read more>>
October 18, 2017May 24, 2019

Natural Deduction Rules in forall x: Calgary

Uncategorized by rzach2 comments

Prompted by a good suggestion by Richard Lawrence and support from Catrin Campbell-Moore, we’ve been working on revising the natural […]

Read more>>
August 31, 2017May 24, 2019

Textbook Satisfaction Survey Results: Intro Logic Edition

Uncategorized by rzach2 comments

As previously reported, we here at Open Logic Central have run surveys to gather some data on the relative success […]

Read more>>
August 11, 2017

A Fistful of Commits

Uncategorized by rzach0 comments

I just checked in a whole bunch of changes to the part on first-order logic. Most of it is in […]

Read more>>
July 6, 2017

Diagrams, and a Chapter on How to do Proofs

Uncategorized by rzach0 comments

Two major new additions: Paul Daniell has contributed a number of very nice illustrations for the “Sets” and “Functions” chapters, […]

Read more>>
June 19, 2017September 18, 2019

New in Print: forall x (Summer 2017 edition), and Incompleteness and Computability

Uncategorized by rzach0 comments

New on Amazon: the print version of the Summer 2017 edition of forall x: Calgary Remix, as well as the […]

Read more>>
May 19, 2017

forall x: YYC is now on Amazon (and how it got there)

Uncategorized by rzach0 comments

Back when I described the process to publish a text on lulu.com, commenter penrodyn suggested to try CreateSpace, Amazon’s self-publishing […]

Read more>>
April 11, 2017

OLP at the Pacific APA/Spring ASL Meeting

Uncategorized by rzach0 comments

The Open Logic Project will be part of the Thursday afternoon session “Inclusiveness in Logic Education” (session 7P) at the […]

Read more>>

Posts navigation

Older posts
Newer posts

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

  • Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
  • forall x: Calgary goes international (and other updates)
  • Many-valued logic in the OLP
  • Fall 2020 edition of forall x: Calgary
  • Fall 2019 textbook editions now available on Amazon

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.