A parity-based Frege proof for the symmetric pigeonhole principle
From MaRDI portal
Publication:1317976
DOI10.1305/NDJFL/1093633908zbMath0795.03079OpenAlexW2061489504MaRDI QIDQ1317976
Publication date: 22 March 1994
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093633908
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) First-order arithmetic and fragments (03F30) Complexity of proofs (03F20)
This page was built for publication: A parity-based Frege proof for the symmetric pigeonhole principle
