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

Author: rzach

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>>
October 9, 2015

Alberta OER funding for the Open Logic Project

Uncategorized by rzach1 comment

This spring, the Ministry of Advanced Education of Alberta launched a $2m pilot project to encourage Alberta universities to develop, […]

Read more>>
September 19, 2015

New Open Logic Material on Model Theory

Uncategorized by rzach0 comments

The Open Logic Text now comes with a part on model theory. It covers some basic definitions and results, including […]

Read more>>
August 13, 2015

Paid Undergraduate Internships with the Open Logic Project in Calgary, Summer 2016

Uncategorized by rzach1 comment

We have openings, through a Canadian agency called MITACS, for advanced undergraduate students with a background in logic, philosophy, or […]

Read more>>
July 6, 2015

Open Logic Project Awarded Teaching and Learning Grant

Uncategorized by rzach1 comment

Nicole Wyatt and I have been awarded a University of Calgary Teaching and Learning Grant for the Open Logic Project. […]

Read more>>
June 16, 2015

Open Logic Quick Start Guide

Help by rzach0 comments

[Chad and Samara have documented the steps required to download and compile the Open Logic Text, and written a “quick […]

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.