Results 131 to 140 of about 100,437 (202)

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.

Journal of Symbolic Logic, 1968
Moto-o Takahashi
semanticscholar   +4 more sources

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

Journal of Catalysis, 1970
Abstract By combining the available experimental information with the assumed mechanism of complex processes, mathematical logic allows proper selection of the necessary and sufficient steps to be included in the adequate mechanism, i.e., correct interpretation of the experimental information. This procedure requires that the expected outcomes of the
Ferenc Nagy, D. Móger, G. Mink, I. Nemes   +3 more
openalex   +3 more sources

THE STRUCTURE OF THE INTELLECTUAL POTENTIAL OF A CORPORATION: THE RATIO OF THE CONCEPTS OF "INTELLECTUAL POTENTIAL" - "INTELLECTUAL CAPITAL" - "INTELLECTUAL PROPERTY" IN THE CONTEXT OF THE MATHEMATICAL APPARATUS OF PREDICATE LOGIC

Scientific research of the SCO countries: synergy and integration
The article reveals the structure of the corporations intellectual potential, analyzes the correlation of such concepts as intellectual potential, intellectual capital, intellectual property. The relations between these concepts are described using the mathematical apparatus of predicate logic. A scheme of the relationship between the basic concepts of
A.Y. Bulatetskaya
openalex   +2 more sources

Aspects of predication and their influence on reasoning about logic in discrete mathematics

ZDM – Mathematics Education, 2022
Paul Christian Dawkins, Kyeong Hah Roh
openalex   +2 more sources

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. [PDF]

Journal of Symbolic Logic, 1965
Steven Orey
openalex   +2 more sources

Appendix 2 Mathematical Induction without Higher-Level Predicate Logic

, 2023

openalex   +2 more sources

S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.

Journal of Symbolic Logic, 1971
Mihály Makkai
openalex   +2 more sources

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.

Journal of Symbolic Logic, 1965
Thomas Frayne
openalex   +2 more sources

Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 (1956), pp. 430–470.

Journal of Symbolic Logic, 1958
Roland Fraïssé
openalex   +3 more sources

Ju. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 171–177.

Journal of Symbolic Logic, 1972
Ann S. Ferebee
openalex   +3 more sources