Results 91 to 100 of about 839,866 (101)

Robust speed and levitation control of high-speed trains using TSK type-2 fuzzy sliding mode strategy. [PDF]

Sci Rep
Ibrahim Mohammad S, Vasudevan A, Abu Jrai A, Beemkumar N, Khatibi A, Mahapatro A, Jacob A, Hussein Jasim L, Thakur R, Khorasanikia Asl A.   +9 more
europepmc   +1 more source

Modelling the effect of motivation on mental health components with fuzzy logic among elite athletes. [PDF]

Sci Rep
Şenel AA, Adiloğulları GE, Şenel E.
europepmc   +1 more source

Mitigating Systemic Risks in Aging Services: An Evolutionary Game Analysis of Fiscal Policy, Service Quality, and Workforce Supply. [PDF]

Risk Manag Healthc Policy
Shen X, Zhang X, Wang H.
europepmc   +1 more source

Co-Designing a Multimodal Physical Activity Intervention for Individuals With Young-Onset Type 2 Diabetes (18-40 Years) in China. [PDF]

Health Expect
Zhao X, Forbes A, Ghazaleh HA, Cheng L, Guo X, Duaso M.   +5 more
europepmc   +1 more source

The architecture of forensic knowledge: Ontology, transformation, and capture. [PDF]

Forensic Sci Int Synerg
Houck MM.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Kripke semantics for higher-order type theory applied to constraint logic programming languages

Theoretical Computer Science, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lipton, James, Nieva, Susana
openaire   +1 more source

Higher-Order Logic and Type Theory

2022
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type.
openaire   +1 more source

The Foundational Turn: Higher-Order Logic and Type Theory

The early 20th century witnessed a profound "foundational turn" in mathematics, driven by paradoxes in set theory and a desire for greater rigor. This intellectual movement sought to establish mathematics on a secure, logical footing, leading to the development of sophisticated formal systems.
openaire   +1 more source