72 citations · 342 across the 22 of their papers we have counts for
1 paper · 2 filters
Richard Zach
Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. It is shown that the former is…