THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS

DOI10.1002/malq.19840300105zbMath0536.03039OpenAlexW2124919261MaRDI QIDQ3320367

R. A. Bull

Publication date: 1984

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19840300105

zbMATH Keywords

cut eliminationargumentssearch treescocutproof theory of propositional logic with weak implication

Mathematics Subject Classification ID

Structure of proofs (03F07)

This page was built for publication: THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS