Results 21 to 30 of about 342,984 (310)

Extension of Stein’s lemma derived by using an integration by differentiation technique

Examples and Counterexamples, 2022
We extend Stein’s lemma for averages that explicitly contain the Gaussian random variable at a power. We present two proofs for this extension of Stein’s lemma, with the first being a rigorous proof by mathematical induction.
Konstantinos Mamis
doaj   +1 more source

Co-constructive Logics for Proofs and Refutations

Studia Humana, 2015
This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and
Trafford James
doaj   +1 more source

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic [PDF]

Logical Methods in Computer Science, 2021
Open bisimilarity is defined for open process terms in which free variables may appear. The insight is, in order to characterise open bisimilarity, we move to the setting of intuitionistic modal logics. The intuitionistic modal logic introduced, called $\
Ki Yung Ahn, Ross Horne, Alwen Tiu
doaj   +1 more source

A short and constructive proof of Tarski’s fixed-point theorem [PDF]

, 2005
I give short and constructive proofs of Tarski’s fixed-point theorem, and of Zhou’s extension of Tarski’s fixed-point theorem to set-valued ...
Echenique, Federico
core   +3 more sources

Consideraciones lógico-epistémicas relativas a una forma de conceptualismo ramificado

Crítica, 2018
An intuitive interpretation of constructive knowability is first developed. Then, an epistemic second order logical system (which formalizes logical aspects of the interpretation) is constructed.
Max A. Freund
doaj   +1 more source

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
We present a full formalization in Martin-Löf's Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using first-order syntax with one sort of names for both free and bound variables and Stoughton's multiple substitution.
Martín Copes, Nora Szasz, Álvaro Tasistro   +2 more
doaj   +1 more source

Exploring the evolution of Chinese earthquake news from the constructive journalism perspective based on Chinese news of 35 significant earthquakes in China from 1966 to 2020

Telematics and Informatics Reports, 2022
This paper intends to explore the concept and elements of constructive journalism in the Chinese context through the evolutionary principles and qualities of Chinese earthquake news to discover a future-proof path for constructive journalism.
Mengyu Li, Xingtong Wu, Naipeng Chao
doaj   +1 more source

Explaining the undecidability of first-order logic

Zagadnienia Filozoficzne w Nauce
Turing proved the unsolvability of the decision problem for first-order logic (Entscheidungsproblem) in his famous paper On Computable Numbers, with an Application to the Entscheidungsproblem.
Timm Lampert, Anderson Nakano
doaj   +1 more source

Towards a Coq-verified Chain of Esterel Semantics [PDF]

Leibniz Transactions on Embedded Systems
This article focuses on formally specifying and verifying the chain of formal semantics of the Esterel synchronous programming language using the Coq proof assistant.
Rieg, Lionel, Berry, Gérard
doaj   +1 more source

On the logarithmic epiperimetric inequality for the obstacle problem

Mathematics in Engineering, 2021
We give three different proofs of the log-epiperimetric inequality at singular points for the obstacle problem. In the first, direct proof, we write the competitor explicitly; the second proof is also constructive, but this time the competitor is given ...
Luca Spolaor, Bozhidar Velichkov
doaj   +1 more source