DOI10.1007/s00153-011-0245-8zbMath1308.03057WikidataQ57998311 ScholiaQ57998311MaRDI QIDQ647339
Juan-Miguel Gracia
Publication date: 23 November 2011 Published in: Archive for Mathematical Logic (Search for Journal in Brave) Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2010/2526/
zbMATH Keywords
sequent calculus; default logic; proof complexity
Mathematics Subject Classification ID
03B60: Other nonclassical logic
03F20: Complexity of proofs