Proof complexity of propositional default logic

Beyersdorff, O, Meier, A, Mueller, S et al. (2 more authors) (2011) Proof complexity of propositional default logic. Archive for Mathematical Logic, 50 (7-8). 727 - 742 . ISSN 1432-0665



  • Beyersdorff, O
  • Meier, A
  • Mueller, S
  • Thomas, M
  • Vollmer, H
Copyright, Publisher and Additional Information: © 2011, Springer. This is an author produced version of a paper published in Archive for mathematical logic. Uploaded in accordance with the publisher's self-archiving policy. The original publication is available at
Keywords: Default logic, Sequent calculus, Proof complexity
  • Published: November 2011
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 14 Jun 2012 14:20
Last Modified: 01 Nov 2016 07:43
Published Version:
Status: Published
Publisher: Springer Verlag
Identification Number:

Share / Export