2 citations · 4 across the 2 of their papers we have counts for
2 papers
math.LO2016★ 2 cited
An Intuitionistic Formula Hierarchy Based on High-School Identities
Taus Brock-Nannestad, Danko Ilik
We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the i…
cs.LO2015★ 2 cited
Cut Elimination in Multifocused Linear Logic
Taus Brock-Nannestad, Nicolas Guenot
We study cut elimination for a multifocused variant of full linear logic in the sequent calculus. The multifocused normal form of proofs yields problems that do not appear in a sta…