2 citations · 3 across the 3 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…