Results 161 to 170 of about 34,259 (189)

Empirical Logic for Bio-Inspired Soft Computing: Illustrative Applications in Control Engineering and Cluster Analysis. [PDF]

Biomimetics (Basel)
Grotrian J.
europepmc   +1 more source

Beyond the left-right brain divide: a framework for dual-domain cognitive fluency. [PDF]

Front Cognit
Affognon DA.
europepmc   +1 more source

Multi-function multi-level grid tied inverter based on a new combined logic-analog controller with capacitors balancing ability. [PDF]

Sci Rep
Nematzadeh Meinagh V, Sabahi M, Bannae Sharifian MB, Hagh MT.   +3 more
europepmc   +1 more source

Triangular fuzzy game modelling for internal innovation in platform-driven manufacturing enterprises under uncertainty. [PDF]

Sci Rep
Guo Y, Zhang H, Zou H, He D, Zhao C.
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.
James Lipton, Susana Nieva
openaire   +3 more sources

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

Automated theorem proving for dependent typed theories via a translation to higher-order logic

2023
Higher-order logic (HOL) offers a simple syntax and semantics for representing and reasoning about typed mathematical concepts. There are many state-of-the-art automated theorem provers for HOL. But the type system of HOL lacks advanced features where types may depend on terms. This is useful as many mathematical notions are inherently dependent typed.
openaire   +1 more source