December 23, 2017September 3, 2023Now With Axiomatic Derivations! Progress Uncategorized by rzach In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays! Share this: Print (Opens in new window) Print Share on Facebook (Opens in new window) Facebook Share on Reddit (Opens in new window) Reddit Share on Mastodon (Opens in new window) Mastodon Share on X (Opens in new window) X Share on Pocket (Opens in new window) Pocket Email a link to a friend (Opens in new window) Email
