18 citations · 22 across the 12 of their papers we have counts for
1 paper · 1 filter
Steven Obua
Abstraction logic is a new logic, serving as a foundation of mathematics. It combines features of both predicate logic and higher-order logic: abstraction logic can be viewed both…