In addition to sequent calculus and natural deduction, the Open Logic Text now covers axiomatic derivations as well. Happy Holidays!
Do you have well-worked out teaching materials related to logic? We take donations of material that can be incorporated into the Open Logic Text. Currently we’re interested in particular in material on modal logic and related areas (conditionals, intuitionistic logic), including history and applications. Other material on logic of interest to philosophers is of course also welcome. It can be anything from a one-off handout (which we’ll save until there’s a chapter it fits into) to a complete set of lecture notes. Remember that the audience is non-mathematicians, so very technical material may not find a place or might be substantially revised before being included. Of course, you must be willing to provide it under a Creative Commons Attribution license. If you have something that might be useful, just contact us.