activity
20042015
most citedKnowledge Reduction and Discovery based on Demarcation Information

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2014 · cs.LOShow all

1 paper · 2 filters

cs.LO2014

On the strictness of the quantifier structure hierarchy in first-order logic

Yuguo He

We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural qu…