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

Author: rzach

November 21, 2015April 30, 2020

Making a New Logic Textbook in Seven Easy Steps

Help by rzach1 comment

I’ll be teaching the University of Calgary’s second logic course, imaginatively titled “Logic II,” next term.  It’ll be the first […]

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

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

  • New (interactive) HTML edition of forall x: Calgary
  • New forallx Fitch proof editor & checker
  • Open Logic Project now in Portuguese
  • Preparing for Fall 2025
  • Selinger’s fitch.sty: 1.0 beta

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.