Constructing sequent rules for generalized propositional logics

DOI10.1305/ndjfl/1093870576zbMath0551.03036OpenAlexW2005464993MaRDI QIDQ801057

Richard L. Call

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870576

zbMATH Keywords

normal formproof theoryGentzen calculi for n-ary boolean connectivestruth tablesupper formulae

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05)

This page was built for publication: Constructing sequent rules for generalized propositional logics