Results 141 to 150 of about 100,437 (202)

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.

Journal of Symbolic Logic, 1971
Peter G. Hinman
openalex   +3 more sources

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.

Journal of Symbolic Logic, 1972
Bede Rundle
openalex   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Generating Predicate Logic Expressions from Natural Language

SoutheastCon, 2021
Formal logic expressions are commonly written in standardized mathematical notation. Learning this notation typically requires many years of experience and is not an explicit part of undergraduate academic curricula.
Oleksii Levkovskyi, Wei Li
semanticscholar   +1 more source

A formal corpus of mathematical theorems: a bridge from natural language to first-order logic

International Conferences on Computing and Pattern Recognition
Currently, there is a significant gap in the conversion of mathematical theorems from natural language to logical expressions, specifically in the form of first-order predicate logic.
Lulu Li, Zhengtao Li, Peng Hu, Hao Zhang
semanticscholar   +1 more source

THE CLASSICAL DECISION PROBLEM (Perspectives in Mathematical Logic) By Egon Börger, Erich Grädel and Yuri Gurevich: 482 pp., DM.158.–, ISBN 3 540 57073 X (Springer, 1997).

, 1998
The Decision Problem (Entscheidungsproblem) was brought to the attention of the mathematical community by Hilbert in 1922 as part of his formalist programme for the foundations of mathematics, and he considered it to be the most important problem of ...
A. Wilkie
semanticscholar   +1 more source

Principles of Mathematical Logic

, 1950
The sentential calculus The calculus of classes (monadic predicate calculus) The restricted predicate calculus The extended predicate calculus Editor's notes Bibliography Index.
D. Hilbert, W. Ackermann, R. Luce
semanticscholar   +1 more source

Unitizing Predicates and Reasoning About the Logic of Proofs

Journal for Research in Mathematics Education
This article offers the construct unitizing predicates to name mental actions important for students’ reasoning about logic. To unitize a predicate is to conceptualize (possibly complex or multipart) conditions as a single property that every example has
P. Dawkins, Kyeong Hah Roh
semanticscholar   +1 more source

Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory

, 1994
One Mathematical Logic.- The Prehistory of Mathematical Logic.- Leibniz's Symbolic Logic.- The Quantification of a Predicate.- The "Formal Logic" of A. De Morgan.- Boole's Algebra of Logic.- Jevons' Algebra of Logic.- Venn's Symbolic Logic.- Schroder's ...
A. Kolmogorov, A. Yushkevich
semanticscholar   +1 more source

Mathematical Application in AI: An Emerging Area

2024 IEEE International Students' Conference on Electrical, Electronics and Computer Science (SCEECS)
The aim of this paper is to elaborate interconnection of logic, mathematics, AI. The fundamental influence of mathematical logic, which provides a framework for reasoning, analysis, and well-informed decision-making, is at the heart of intelligent ...
Pranveer Singh, Abhinav Awasthi, A. Chaturvedi, M. K. Misra, Varun Shukla   +4 more
semanticscholar   +1 more source