Results 161 to 170 of about 100,437 (202)

Comprehension contradicts to the induction within Łukasiewicz predicate logic

Archive for Mathematical Logic, 2009
Shunsuke Yatabe
semanticscholar   +1 more source

Modeling on the Five Elements Theory of Traditional Chinese Medicine Based on Predicate Logic Theory

2009 International Conference on Computational Intelligence and Software Engineering, 2009
W. Yun, Chanlun Duan
semanticscholar   +1 more source

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

, 2003
Igor Lavrov, L. Maksimova, G. Corsi
semanticscholar   +1 more source

A foundation for system safety using predicate logic

2009 3rd Annual IEEE Systems Conference, 2009
Shrisha Rao
semanticscholar   +1 more source

Does Embodiment of Verbs Influence Predicate Metaphor Processing in a Second Language? Evidence From Picture Priming

Frontiers in Psychology, 2021
exaly  

Provability in predicate product logic

Archive for Mathematical Logic, 2007
M. Laskowski, Shirin Malekpour
semanticscholar   +1 more source

Investigation of Money Laundering Cases by Investigators Who Do Not Investigated the Predicate Crime

Corruptio, 2023
exaly  

Predicate Logic with Sequence Variables and Sequence Function Symbols

Mathematical Knowledge Management, 2004
Temur Kutsia, B. Buchberger
semanticscholar   +1 more source

Modelling and analysing the reliability for microservice‐based cloud application based on predicate Petri net

Expert Systems, 2022
Zheng Liu, Guisheng Fan, Huiqun Yu
exaly  

Hao Wang. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623.

Journal of Symbolic Logic, 1965
openaire   +2 more sources