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

Category: Uncategorized

January 28, 2016

Guess the Logician!

Uncategorized by rzach0 comments

We’ve been working with Calgary graphic designer and illustrator Matt Leadbeater on a series of stylized portraits of logicians. They […]

Read more>>
January 21, 2016

Logicians’ Biographies

Uncategorized by rzach0 comments

Thanks mainly to Samara‘s efforts, the Open Logic Project has begun to include short biographies of logicians in a new […]

Read more>>
December 5, 2015September 4, 2024

The Logic Gallery now CC-Licensed

Uncategorized by rzach1 comment

David Marans has now licensed his Logic Gallery, a collection of tid-bits of information, thought-provoking quotes, and pictures of figures […]

Read more>>
November 20, 2015

University of Calgary Student Paper Profiles OLP

Uncategorized by rzach0 comments

Nicole Wyatt and I were interviewed (and photographed) for an article on open textbooks in the University of Calgary’s student […]

Read more>>
October 25, 2015

Repository Reorganization

Uncategorized by rzach0 comments

As per issue #48, in order to keep the clutter in the main directory of the repository to a minimum, […]

Read more>>
October 25, 2015

Open Textbooks and Reclaiming Rights

Uncategorized by rzach0 comments

I wrote a post about open philosophy (& logic) textbooks over at my blog, which Daily Nous linked to. The […]

Read more>>
October 19, 2015

Talk to us at Open Access Week in the TDFL

Uncategorized by rzach0 comments

If you’re in Calgary, Nicole Wyatt and I will be at the Open Access Week “speed dating” event in the […]

Read more>>
October 17, 2015

Smith on the Open Logic Text

Uncategorized by rzach0 comments

Peter Smith has written two blog posts (one, two) about the Open Logic Text.  He makes some very good points […]

Read more>>
October 16, 2015

New Material on Natural Deduction

Uncategorized by rzach0 comments

Thanks to Samara, the Open Logic Text now includes a chapter covering proofs in a natural deduction system.  The chapter, […]

Read more>>
October 14, 2015

Aldo Antonelli, 1962-2015

Uncategorized by rzach0 comments

We are shocked and saddened by the news that our friend, colleague, and collaborator Aldo Antonelli died this weekend.  He […]

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

  • 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.