corpus.blog
56,966 blogs · [ { "id": "01a087d4-9b55-71da-932f-32da5ce62518", "title": "Accessible Open Textbooks in Math-Heavy Disciplines", "url": "https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/", "published_at": "2025-03-24T22:47:00+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-14553838cfd4", "title": "MUltseq 2.0", "url": "https://richardzach.org/2024/07/multseq-2-0/", "published_at": "2024-07-03T15:17:37+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-14553855608d", "title": "W. W. Tait, 1929–2024", "url": "https://richardzach.org/2024/03/w-w-tait-1929-2024/", "published_at": "2024-03-24T22:31:09+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-145539402535", "title": "Converting LaTeX to HTML: technical notes", "url": "https://richardzach.org/2023/07/converting-latex-to-html-technical-notes/", "published_at": "2023-07-28T02:28:19+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-145539e9c953", "title": "forall x now in HTML for extra accessibility", "url": "https://openlogicproject.org/2023/07/27/forall-x-now-in-html-for-extra-accessibility/", "published_at": "2023-07-27T16:14:32+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-145539ff0ded", "title": "Sheffer stroke before Sheffer: Edward Stamm", "url": "https://richardzach.org/2023/02/sheffer-stroke-before-sheffer-edward-stamm/", "published_at": "2023-02-18T09:52:49+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-14553a084669", "title": "Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence", "url": "https://richardzach.org/2022/12/introduction-a-la-theorie-de-la-demonstration-elimination-des-coupures-normalisation-et-preuves-de-coherence/", "published_at": "2022-12-15T22:39:27+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-14553ad90612", "title": "An epimorphism between Fine and Ferguson’s matrices for Angell’s AC", "url": "https://richardzach.org/2022/07/an-epimorphism-between-fine-and-fergusons-matrices-for-angells-ac/", "published_at": "2022-07-27T18:00:00+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-14553b45ad6b", "title": "Epsilon theorems in intermediate logics", "url": "https://richardzach.org/2022/01/epsilon-theorems-in-intermediate-logics/", "published_at": "2022-01-10T23:18:25+00:00" }, { "id": "01a087d4-9b56-71ed-b3a0-14553bf67b3f", "title": "The genealogy of ‘∨’", "url": "https://richardzach.org/2022/01/the-genealogy-of-%e2%88%a8/", "published_at": "2022-01-03T19:00:00+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c363733e4fa0", "title": "Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D", "url": "https://richardzach.org/2021/12/cut-free-completeness-for-modular-hypersequent-calculi-for-modal-logics-k-t-and-d/", "published_at": "2021-12-21T18:55:51+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c363734601f4", "title": "Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi", "url": "https://richardzach.org/2021/09/cut-elimination-and-normalization-for-generalized-single-and-multi-conclusion-sequent-and-natural-deduction-calculi/", "published_at": "2021-09-01T21:30:00+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c363742d3487", "title": "An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs", "url": "https://richardzach.org/2021/08/an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs/", "published_at": "2021-08-03T16:01:15+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c363747c24fa", "title": "New details on why Tarski was reluctant to leave Poland before WWII", "url": "https://richardzach.org/2021/07/new-details-on-why-tarski-was-reluctant-to-leave-poland-before-wwii/", "published_at": "2021-07-29T19:45:47+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c363754ab855", "title": "Updates to OLP for Fall 2021 edition of Sets, Logic, Computation", "url": "https://openlogicproject.org/2021/07/10/updates-to-olp-for-fall-2021-edition-of-sets-logic-computation/", "published_at": "2021-07-10T23:22:45+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c363755f5df9", "title": "Famous logicians and their inconsistent theories", "url": "https://richardzach.org/2021/06/famous-logicians-and-their-inconsistent-theories/", "published_at": "2021-06-23T20:34:08+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c36375fd843e", "title": "forall x: Calgary goes international (and other updates)", "url": "https://openlogicproject.org/2021/06/20/forall-x-calgary-goes-international-and-other-updates/", "published_at": "2021-06-20T21:26:35+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c363760435b7", "title": "Learning Outcomes and Grade Specifications in a Formal Logic Course", "url": "https://richardzach.org/2021/06/learning-outcomes-and-grade-specifications-in-a-formal-logic-course/", "published_at": "2021-06-11T18:00:00+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c363763e7f2d", "title": "MUltlog 1.13 released", "url": "https://richardzach.org/2021/05/multlog-1-13-released/", "published_at": "2021-05-04T03:01:20+00:00" }, { "id": "01a0bdf5-9abd-71ee-a00e-c36376762edb", "title": "Teaching Logic Online: Report", "url": "https://richardzach.org/2020/12/teaching-logic-online-report/", "published_at": "2020-12-18T23:51:17+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a81346003", "title": "Many-valued logic in the OLP", "url": "https://openlogicproject.org/2020/09/25/many-valued-logic-in-the-olp/", "published_at": "2020-09-25T16:16:12+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a8141719b", "title": "Fall 2020 edition of forall x: Calgary", "url": "https://openlogicproject.org/2020/08/03/fall-2020-edition-of-forall-x-calgary/", "published_at": "2020-08-03T17:41:51+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a81c13e9a", "title": "Grading for Mastery in Introductory Logic", "url": "https://richardzach.org/2020/06/grading-for-mastery-in-introductory-logic/", "published_at": "2020-06-08T20:00:18+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a8282b512", "title": "Satisfaction and assignments", "url": "https://richardzach.org/2020/05/satisfaction-and-assignments/", "published_at": "2020-05-18T19:27:23+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a83088e95", "title": "Letter grades in Brightspace/D2L (or other LMS)", "url": "https://richardzach.org/2020/05/letter-grades-in-brightspace-d2l-or-other-lms/", "published_at": "2020-05-15T15:44:32+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a83f4e730", "title": "Need a logic course, fast?", "url": "https://richardzach.org/2020/03/need-a-logic-course-fast/", "published_at": "2020-03-21T18:43:28+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a84a9ebed", "title": "Chalk-and-talk online: whiteboard screencasting (on Linux)", "url": "https://richardzach.org/2020/03/chalk-and-talk-online-whiteboard-screencasting-on-linux/", "published_at": "2020-03-19T15:57:48+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a850a66cb", "title": "Adding online exercises with automated grading to any logic course with Carnap", "url": "https://richardzach.org/2020/01/adding-online-exercises-with-automated-grading-to-any-logic-course-with-carnap/", "published_at": "2020-01-19T23:45:36+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a85a5ffcc", "title": "The significance of the Curry-Howard isomorphism", "url": "https://richardzach.org/2019/11/the-significance-of-the-curry-howard-isomorphism/", "published_at": "2019-11-01T18:00:00+00:00" }, { "id": "01a0be04-4eb1-7006-a65c-709a85c9ed61", "title": "Boxes and Diamonds: An Open Introduction to Modal Logic", "url": "https://richardzach.org/2019/09/boxes-and-diamonds-an-open-introduction-to-modal-logic/", "published_at": "2019-09-25T18:00:19+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a07bbee6", "title": "Incompleteness and Computability: An Open Introduction to Gödel’s Theorems", "url": "https://richardzach.org/2019/09/incompleteness-and-computability-an-open-introduction-to-godels-theorems/", "published_at": "2019-09-25T17:30:00+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a0a67600", "title": "Sets, Logic, Computation: An Open Introduction to Metalogic", "url": "https://richardzach.org/2019/09/sets-logic-computation-an-open-introduction-to-metalogic/", "published_at": "2019-09-25T17:00:00+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a1743f17", "title": "forall x: Calgary. An Introduction to Formal Logic", "url": "https://richardzach.org/2019/09/forall-x-calgary-an-introduction-to-formal-logic/", "published_at": "2019-09-25T16:00:00+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a22c37f2", "title": "Rudolf Carnap: Early Writings", "url": "https://richardzach.org/2019/09/rudolf-carnap-early-writings/", "published_at": "2019-09-12T18:00:59+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a266195d", "title": "Fall 2019 edition of forall x:YYC is out", "url": "https://openlogicproject.org/2019/09/10/fall-2019-edition-of-forall-xyyc-is-out/", "published_at": "2019-09-10T17:04:33+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a3568d99", "title": "Tim Button’s Open Set Theory now part of the Open Logic Project", "url": "https://openlogicproject.org/2019/08/29/tim-buttons-open-set-theory-now-part-of-the-open-logic-project/", "published_at": "2019-08-29T22:00:54+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a3bbcbff", "title": "BibTeX-friendly PDF management with Zotero", "url": "https://richardzach.org/2019/02/bibtex-friendly-pdf-management-with-zotero/", "published_at": "2019-02-09T15:01:51+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a4a16b7f", "title": "New Layout, Cover Design for forall x", "url": "https://openlogicproject.org/2019/01/07/new-layout-for-forall-x/", "published_at": "2019-01-07T13:55:57+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a5686e13", "title": "The Emergence of First-Order Logic", "url": "https://richardzach.org/2018/11/the-emergence-of-first-order-logic/", "published_at": "2018-11-17T21:14:42+00:00" }, { "id": "01a0be0a-cc9e-708b-9926-ec37a5ff11bb", "title": "Indian Conference on Logic and its Applications 2019", "url": "https://richardzach.org/2018/10/indian-conference-on-logic-and-its-applications-2019/", "published_at": "2018-10-21T21:17:33+00:00" } ] posts Claim your blog
Back to richardzach.org
Blog · corpus.blog/blogs/richardzach.org/posts

richardzach.org

richardzach.org

2025

Accessible Open Textbooks in Math-Heavy Disciplinesoriginal ↗
24 Mar 2025

2024

MUltseq 2.0original ↗
3 Jul 2024
W. W. Tait, 1929–2024original ↗
24 Mar 2024

2023

Converting LaTeX to HTML: technical notesoriginal ↗
28 Jul 2023
forall x now in HTML for extra accessibilityoriginal ↗
27 Jul 2023
Sheffer stroke before Sheffer: Edward Stammoriginal ↗
18 Feb 2023

2022

Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérenceoriginal ↗
15 Dec 2022
An epimorphism between Fine and Ferguson’s matrices for Angell’s ACoriginal ↗
27 Jul 2022
Epsilon theorems in intermediate logicsoriginal ↗
10 Jan 2022
The genealogy of ‘∨’original ↗
3 Jan 2022

2021

Cut-free completeness for modular hypersequent calculi for modal logics K, T, and Doriginal ↗
21 Dec 2021
Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculioriginal ↗
1 Sept 2021
An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofsoriginal ↗
3 Aug 2021
New details on why Tarski was reluctant to leave Poland before WWIIoriginal ↗
29 Jul 2021
Updates to OLP for Fall 2021 edition of Sets, Logic, Computationoriginal ↗
10 Jul 2021
Famous logicians and their inconsistent theoriesoriginal ↗
23 Jun 2021
forall x: Calgary goes international (and other updates)original ↗
20 Jun 2021
Learning Outcomes and Grade Specifications in a Formal Logic Courseoriginal ↗
11 Jun 2021
MUltlog 1.13 releasedoriginal ↗
4 May 2021

2020

Teaching Logic Online: Reportoriginal ↗
18 Dec 2020
Many-valued logic in the OLPoriginal ↗
25 Sept 2020
Fall 2020 edition of forall x: Calgaryoriginal ↗
3 Aug 2020
Grading for Mastery in Introductory Logicoriginal ↗
8 Jun 2020
Satisfaction and assignmentsoriginal ↗
18 May 2020
Letter grades in Brightspace/D2L (or other LMS)original ↗
15 May 2020
Need a logic course, fast?original ↗
21 Mar 2020
Chalk-and-talk online: whiteboard screencasting (on Linux)original ↗
19 Mar 2020
Adding online exercises with automated grading to any logic course with Carnaporiginal ↗
19 Jan 2020

2019

The significance of the Curry-Howard isomorphismoriginal ↗
1 Nov 2019
Boxes and Diamonds: An Open Introduction to Modal Logicoriginal ↗
25 Sept 2019
Incompleteness and Computability: An Open Introduction to Gödel’s Theoremsoriginal ↗
25 Sept 2019
Sets, Logic, Computation: An Open Introduction to Metalogicoriginal ↗
25 Sept 2019
forall x: Calgary. An Introduction to Formal Logicoriginal ↗
25 Sept 2019
Rudolf Carnap: Early Writingsoriginal ↗
12 Sept 2019
Fall 2019 edition of forall x:YYC is outoriginal ↗
10 Sept 2019
Tim Button’s Open Set Theory now part of the Open Logic Projectoriginal ↗
29 Aug 2019
BibTeX-friendly PDF management with Zoterooriginal ↗
9 Feb 2019
New Layout, Cover Design for forall xoriginal ↗
7 Jan 2019

2018

The Emergence of First-Order Logicoriginal ↗
17 Nov 2018
Indian Conference on Logic and its Applications 2019original ↗
21 Oct 2018