43 citations · 77 across the 16 of their papers we have counts for
Showing 2018 · math.LOShow all
3 papers · 2 filters
math.LO2018★ 2 cited
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains
Federico Aschieri
The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable…
math.LO2018★ 4 cited
Expansion Trees with Cut
Federico Aschieri, Stefan Hetzl, Daniel Weller
Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view, it suggests a compact representation of proofs in classical first- and higher…
math.LO2018
Disjunctive Axioms and Concurrent -Calculi: a Curry-Howard Approach
F. Aschieri, A. Ciabattoni, F. A. Genco
We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent -calculi; each of them featu…