7 citations · 22 across the 6 of their papers we have counts for
1 paper · 2 filters
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.…