Results 171 to 180 of about 100,437 (202)

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus

Archive for Mathematical Logic, 1998
W. Dekkers, M. Bunder, H. Barendregt
semanticscholar   +1 more source

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Machine Learning, 2015
Stephen H Muggleton
exaly  

Predicate constraints based question answering over knowledge graph

Information Processing and Management, 2019
Sangjin Shin, Kyong-ho Lee, Xiongnan Jin
exaly  

ERROR ANALYSIS OF KOREAN PARTICLE-PREDICATE COLLOCATION BY INDONESIAN SPEAKERS

Jurnal KATA, 2022
exaly  

Applications to mathematical logic: formalized languages of logic and arithmetic

, 1993
V. Uspensky, Alexei L. Semenov
semanticscholar   +1 more source

Discrete Mathematics: Chapter 2, Predicate Logic

, 2016
Calvin Jongsma
openalex  

Wang Hao. Partial systems of number theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 376–382.

Journal of Symbolic Logic (JSL), 1964
S. Orey
semanticscholar   +1 more source

Review: Frank G. Bruner, Mathematical Logic With Transfinite Types

Journal of Symbolic Logic (JSL), 1944
J. McKinsey
semanticscholar   +1 more source

Per Martin-Löf. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by H. E. Rose and J. C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118.

Journal of Symbolic Logic, 1984
openaire   +2 more sources

Martin Davis. Lecture notes on mathematical logic. The Institute of Mathematical Sciences, New York University, New York1959, 91 pp. + Appendix and errata.

Journal of Symbolic Logic (JSL), 1970
A. Lightstone
semanticscholar   +1 more source