T
Tomasz Pietrzykowski
Researcher at University of Waterloo
Publications - 4
Citations - 142
Tomasz Pietrzykowski is an academic researcher from University of Waterloo. The author has contributed to research in topics: Modes of convergence & Resolution (logic). The author has an hindex of 3, co-authored 4 publications receiving 139 citations.
Papers
More filters
Journal ArticleDOI
A Complete Mechanization of Second-Order Type Theory
TL;DR: A generalization of the resolution method for higher order logic is presented and it is established that the author's generalized resolution procedure is complete with respect to a natural notion of validity based on Henkin's general validity for type theory.
Journal ArticleDOI
Mechanizing ω-order type theory through unification
TL;DR: This paper deals with the problems of applying a unification procedure in a mechanization of the full type theory and an extensive proof of completeness of the algorithm is presented.
Journal ArticleDOI
The potential method for conditional maxima in the locally compact metric spaces
TL;DR: In this article, the authors presented a method of reducing the constrained maximization problem to an unconditional one, which consists of introducing a function, called potential, which at an unconditional maximum converges to the constrained maximum when a positive parameter of the potential tends to zero.
Journal ArticleDOI
A generalization of the potential method for conditional maxima on the Banach, reflexive spaces
TL;DR: In this paper, conditions of the convergence of a potential method are discussed and a proof of convergence is given when dealing with the local nonsingular maximum of a locally concave functional on a locally convex set in a Banach reflexive space.