72 citations · 342 across the 22 of their papers we have counts for
Showing 2020 · math.LOShow all
2 papers · 2 filters
math.LO2020
The Genealogy of ''
Landon D. C. Elkind, Richard Zach
The use of the symbol for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol in its historical and logic…
math.LO2020★ 22 cited
Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
Richard Zach
Any set of truth-functional connectives has sequent calculus rules that can be generated systematically from the truth tables of the connectives. Such a sequent calculus gives rise…