Results 81 to 90 of about 712,824 (175)
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source
An approach to stochastic processes via non-classical logic
, 2021 Within the infinitary variety of σ-complete Riesz MV-algebras RMVσ, we introduce the algebraic analogue of a random variable as a homomorphism defined on the free algebra in RMVσ.
Dvurecenskij A. +5 more
core +1 more source
Infinitary logics and 0–1 laws
Information and Computation, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Phokion G. Kolaitis, Moshe Y. Vardi
openaire +3 more sources
Quantitativity and fixed points in the infinitary relational semantics of linear logic
Grellois and Melli`es introduced in 2015 an infinitary variant of the relational model of linear logic [GM15a], in which the exponential can build multisets with finite or countable multiplicities. Their aim was to use such models for higher-order model-
Grellois, C., Clairambault, P.
core +2 more sources
A Modal Interpretation of Quantum Spins and Its Application to Freudian Theory. [PDF]
Entropy (Basel), 2022 Battilotti G, Borozan M, Grotto RL.
europepmc +1 more source
Publicity and Common Commitment to Believe. [PDF]
Erkenntnis, 2023 Williams JRG.
europepmc +1 more source
The monotone class theorem in infinitary logic
, 1977 A monotone formula in the infinitary logic L ω 1 ω {L_{{\omega _1}\omega }} is a formula which is built ...
H. Jerome Keisler
core +1 more source
A completeness proof for an infinitary tense‐logic
Theoria, 1977 In his forthcoming examination of G. H. von Wright's tense-logic [4], Krister Segerberg studies certain infinitary extensions of the original tense-logic created by von Wright. For one of these extensions the completeness problem turned out to be harder than was expected at first sight. This paper is devoted to a proof of a completeness theorem for the
openaire +4 more sources
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source