10 citations · 10 across the 1 of their papers we have counts for
3 papers
cs.LO2019★ 10 cited
A Tale of Two Set Theories
Chad E. Brown, Karol Pąk
We describe the relationship between two versions of Tarski-Grothendieck set theory: the first-order set theory of Mizar and the higher-order set theory of Egal. We show how certai…
cs.LO2016
Internal Guidance for Satallax
Michael Färber, Chad Brown
We propose a new internal guidance method for automated theorem provers based on the given-clause algorithm. Our method influences the choice of unprocessed clauses using positive…
cs.LO2016
Extracting Higher-Order Goals from the Mizar Mathematical Library
Chad Brown, Josef Urban
Certain constructs allowed in Mizar articles cannot be represented in first-order logic but can be represented in higher-order logic. We describe a way to obtain higher-order theor…