A simple irredundance test for tautological sequents

DOI10.1023/A:1005393029106zbMath0965.03008OpenAlexW199684048MaRDI QIDQ1590516

Joachim Schröder

Publication date: 1997

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005393029106

zbMATH Keywords

irredundancemethod for checking tautological sequentspropositional sequent calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure of proofs (03F07)

This page was built for publication: A simple irredundance test for tautological sequents