8 citations · 54 across the 14 of their papers we have counts for
1 paper · 1 filter
Ross Horne, Alwen Tiu, Bogdan Aman +1
This paper explores the proof theory necessary for recommending an expressive but decidable first-order system, named MAV1, featuring a de Morgan dual pair of nominal quantifiers.…