Skip to content

Richard Zach

  • CV
  • Teaching
  • Research
  • Contact

Month: May 2013

2013-05-16 rzach

LaTeX Package for Typesetting Fitch Proofs LPL-Style

You probably already know about the two packages that you can use to typeset Fitch-style natural deducation proofs in LaTeX.  Here's another, which you may be interested in if you use Barker-Plummer, Barwise, and Etchemendy's popular logic text Language, Proof, and Logic. It makes proofs like this: I've taken Etch's original style file and Dave's … Continue reading LaTeX Package for Typesetting Fitch Proofs LPL-Style

Recent Posts

  • Sheffer stroke before Sheffer: Edward Stamm
  • Introduction à la théorie de la démonstration: Élimination des coupures, normalisation et preuves de cohérence
  • An epimorphism between Fine and Ferguson’s matrices for Angell’s AC
  • Epsilon theorems in intermediate logics
  • The genealogy of ‘∨’

Recent Comments

  • 50+ Cognitive Science and/or Philosophy Blogs | Nick Byrd, Ph.D. on Research and Publications
  • Introduction à la théorie de la démonstration Élimination des coupures, normalisation et preuves de cohérence – Richard Zach on An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs
  • Allen Hazen on Famous logicians and their inconsistent theories
  • Some Lesser Known (to me) Russian/Soviet Logicians – Richard Zach on More on Shatunovsky, Kagan, and Yanovskaya
  • More on Shatunovsky, Kagan, and Yanovskaya – Richard Zach on Some Lesser Known (to me) Russian/Soviet Logicians

Archives

  • February 2023
  • December 2022
  • July 2022
  • January 2022
  • December 2021
  • September 2021
  • August 2021
  • July 2021
  • June 2021
  • May 2021
  • December 2020
  • September 2020
  • August 2020
  • June 2020
  • May 2020
  • March 2020
  • January 2020
  • November 2019
  • September 2019
  • August 2019
  • February 2019
  • January 2019
  • November 2018
  • October 2018
  • September 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • November 2017
  • October 2017
  • September 2017
  • August 2017
  • June 2017
  • May 2017
  • April 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • September 2016
  • August 2016
  • July 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • August 2015
  • July 2015
  • June 2015
  • May 2015
  • April 2015
  • March 2015
  • February 2015
  • January 2015
  • December 2014
  • November 2014
  • October 2014
  • September 2014
  • August 2014
  • July 2014
  • June 2014
  • May 2014
  • April 2014
  • March 2014
  • February 2014
  • January 2014
  • December 2013
  • November 2013
  • September 2013
  • July 2013
  • June 2013
  • May 2013
  • April 2013
  • February 2013
  • January 2013
  • April 2012
  • March 2012
  • February 2012
  • January 2012
  • December 2011
  • November 2011
  • April 2011
  • March 2011
  • February 2011
  • January 2011
  • November 2010
  • October 2010
  • September 2010
  • August 2010
  • June 2010
  • May 2010
  • April 2010
  • March 2010
  • February 2010
  • October 2009
  • September 2009
  • August 2009
  • July 2009
  • June 2009
  • May 2009
  • April 2009
  • March 2009
  • February 2009
  • January 2009
  • December 2008
  • November 2008
  • October 2008
  • September 2008
  • August 2008
  • July 2008
  • June 2008
  • May 2008
  • April 2008
  • February 2008
  • January 2008
  • December 2007
  • November 2007
  • October 2007
  • September 2007
  • August 2007
  • July 2007
  • June 2007
  • May 2007
  • April 2007
  • March 2007
  • February 2007
  • January 2007
  • December 2006
  • November 2006
  • October 2006
  • September 2006
  • August 2006
  • July 2006
  • June 2006
  • May 2006
  • April 2006
  • March 2006
  • February 2006
  • January 2006
  • December 2005
  • November 2005
  • October 2005
  • September 2005
  • August 2005
  • July 2005
  • June 2005
  • May 2005
  • April 2005
  • March 2005
  • February 2005
  • January 2005
  • December 2004
  • November 2004
  • October 2004
  • September 2004
  • July 2004
  • June 2004
  • May 2004
  • April 2004
  • November 2003
  • May 2003
  • May 2001
  • February 2001
  • November 2000
  • August 2000
  • September 1999
  • July 1998
  • June 1998
  • May 1998
  • September 1995
  • February 1995
  • June 1994
  • February 1994
  • November 1993
  • September 1993
  • June 1993
  • May 1993
  • September 1992

Categories

  • Progress
  • Publications
  • Uncategorized

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
@rrrichardzach@mathstodon.xyz
Proudly powered by WordPress — Theme: Sequential by WordPress.com.