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:Click to print (Opens in new window)Click to share on Facebook (Opens in new window)Click to share on Reddit (Opens in new window)Click to share on Mastodon (Opens in new window)Click to share on Twitter (Opens in new window)Click to share on Pocket (Opens in new window)Click to email a link to a friend (Opens in new window)