Results 1 to 10 of about 330,018 (78)
A soft version of the Knaster–Tarski fixed point theorem with applications [PDF]
Journal of Fixed Point Theory and Applications, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mujahid Abbas
exaly +5 more sources
Notes on Knaster-Tarski Theorem versus Monotone Nonexpansive Mappings [PDF]
Moroccan Journal of Pure and Applied Analysis, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mohamed Amine Khamsi
exaly +4 more sources
Common Fixed-Point Theorems in Modular Function Spaces Endowed with Reflexive Digraph
International Journal of Mathematics and Mathematical Sciences, 2020 The purpose of this work is to extend the Knaster–Tarski fixed-point theorem to the wider field of reflexive digraph. We give also a DeMarr-type common fixed-point theorem in this context.
Jaauad Jeddi +2 more
doaj +2 more sources
The Knaster–Tarski theorem versus monotone nonexpansive mappings [PDF]
Bulletin of the Polish Academy of Sciences Mathematics, 2018 Let $X$ be a partially ordered set with the property that each family of order intervals of the form $[a,b],[a,\rightarrow )$ with the finite intersection property has a nonempty intersection. We show that every directed subset of $X$ has a supremum.
Rafa Espínola, Andrzej Wiśnicki
exaly +4 more sources
Advances in Difference Equations, 2021 In this paper, we study the oscillatory and asymptotic behavior of a class of first-order neutral delay impulsive differential systems and establish some new sufficient conditions for oscillation and sufficient and necessary conditions for the asymptotic
Shyam Sundar Santra +3 more
doaj +1 more source
Mathematics, 2017 In the present article, we introduce the new concept of start point in a directed graph and provide the characterizations required for a directed graph to have a start point.
Murchana Neog, Pradip Debnath
doaj +1 more source
A Monad-Based Formalization of Common Knowledge
MathematicsWe present here a novel approach to the analysis of common knowledge based on Category Theory. We formalize knowledge hierarchies as presheaves over a category of agent sequences. The category of these presheaves constitutes a topos.
Fernando Tohmé +2 more
doaj +1 more source
Modeling Mathematical Language Through Fixed Points, Formal Languages, and Linguistic Enrichment
MathematicsThis paper proposes a formal framework for the study of mathematical language at the intersection of fixed point theory, formal language theory, and academic discourse analysis.
Atanas Ilchev +3 more
doaj +1 more source
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. [PDF]
Entropy (Basel), 2021 Sun X, Kulicki P, Sopek M.
europepmc +1 more source
Performance heuristics for GR(1) synthesis and related algorithms. [PDF]
Acta Inform, 2020 Firman E, Maoz S, Ringert JO.
europepmc +1 more source