Results 201 to 210 of about 25,852,401 (225)

Can tiered open-source mandates optimize innovation? A differential game study osn platform vs. independent project dynamics in foundation software ecosystems. [PDF]

PLoS One
Wu B, Yi Y.
europepmc   +1 more source

Toward an Understanding of the Psychological Meaning of Physiological Synchrony. [PDF]

Psychophysiology
Danyluck C, Doyle N, Thorne T, Adler A.
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

Combining Higher-Order Logic with Set Theory Formalizations

Journal of Automated Reasoning, 2023
Karol Pąk, Cezary Kaliszyk
exaly  

Material Dialogues for First-Order Logic in Constructive Type Theory

Lecture Notes in Computer Science, 2022
Dominik Wehr, Dominik Kirst
exaly  

Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 (1968), S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria (Lund), Bd. 33 (1967), S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 (1967), S. 399–410.

Journal of Symbolic Logic, 1974
openaire   +1 more source

Boolean algebras with a category theory in a weak second order logic

Algebra and Logic, 1971
E A Palyutin
exaly  

First-Order Modal Logic and a First-Order Theory of Propositions

2023
exaly