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