Results 131 to 140 of about 712,824 (175)
Limit, logic, and computation. [PDF]
Proc Natl Acad Sci U S A, 1998 Freedman MH.
europepmc +1 more source
The Inert vs. the Living State of Matter: Extended Criticality, Time Geometry, Anti-Entropy - An Overview. [PDF]
Front Physiol, 2012 Longo G, Montévil M.
europepmc +1 more source
Algebraic aspects of the computably enumerable degrees. [PDF]
Proc Natl Acad Sci U S A, 1995 Slaman TA, Soare RI.
europepmc +1 more source
Equivalence of partition properties and determinacy. [PDF]
Proc Natl Acad Sci U S A, 1983 Kechris AS, Woodin WH.
europepmc +1 more source
On the Proof Theory of Infinitary Modal Logic [PDF]
Studia Logica, 2022 The article deals with infinitary modal logic. We first discuss the difficulties related to the development of a satisfactory proof theory and then we show how to overcome these problems by introducing a labelled sequent calculus which is sound and ...
Matteo Tesi
exaly +6 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Infinitary Action Logic with Multiplexing
Studia Logica, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stanislav O Speranski, Stepan Kuznetsov
exaly +4 more sources
de Finetti's coherence and exchangeability in infinitary logic
International Journal of Approximate Reasoning, 2022 We continue the investigation towards a logic-based approach to statistics within the infinitary conservative extension of Lukasiewicz logic IRL and prove versions of de Finetti's theorems on coherence and exchangeability.
Serafina Lapenta
exaly +2 more sources