3 citations · 4 across the 7 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 3 cited
On the Mints Hierarchy in First-Order Intuitionistic Logic
Aleksy Schubert, Paweł Urzyczyn, Konrad Zdanowski
We stratify intuitionistic first-order logic over into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy)…
cs.LO2016
Automata Theory Approach to Predicate Intuitionistic Logic
Maciej Zielenkiewicz, Aleksy Schubert
Predicate intuitionistic logic is a well established fragment of dependent types. According to the Curry-Howard isomorphism proof construction in the logic corresponds well to synt…