Results 121 to 130 of about 47,006 (154)

Toward the automatic generation of mathematical morphology procedures using predicate logic

, 2002
H. J. Joo, R.M. Haralick, Linda G. Shapiro   +2 more
openalex   +1 more source

L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 171–188.

, 1965
Thomas Frayne
openalex   +1 more source

Hao Wang. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321.

, 1963
Steven Orey
openalex   +1 more source

Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 (1953), pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545.

, 1965
Steven Orey
openalex   +1 more source

W. W. Tait. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 980–983.

, 1968
Moto-o Takahashi
openalex   +1 more source

Wang Hao. Many-sorted predicate calculi. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 322–333.

, 1963
Steven Orey
openalex   +1 more source

A mechanistic study of cyclohexene hydrogenation over platinum catalyst using the predicate calculus of mathematical logic

, 1970
Ferenc Nagy, D. Móger, G. Mink, I. Nemes   +3 more
openalex   +1 more source

Yiannis N. Moschovakis. Hyperanalytic predicates. Transactions of the American Mathematical Society, vol. 129 (1967), pp. 249–282. - Thomas J. Grilliot. Hierarchies based on objects of finite type. The journal of symbolic logic, vol. 34 (1969), pp. 177–182.

, 1971
Peter G. Hinman
openalex   +1 more source

P. C. Gilmore. An alternative to set theory. The American mathematical monthly, vol. 67 (1960), pp. 621–632. - P. C. Gilmore. The monadic theory of types in the lower predicate calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 309–312.

, 1972
Bede Rundle
openalex   +1 more source