Results 11 to 20 of about 36 (33)

Applications of Multivalued Contractions on Graphs to Graph‐Directed Iterated Function Systems

Abstract and Applied Analysis, Volume 2015, Issue 1, 2015., 2015
We apply a fixed point result for multivalued contractions on complete metric spaces endowed with a graph to graph‐directed iterated function systems. More precisely, we construct a suitable metric space endowed with a graph G and a suitable G‐contraction such that its fixed points permit us to obtain more information on the attractor of a graph ...
T. Dinevari, M. Frigon, Naseer Shahzad
wiley   +1 more source

Demonic semantics: using monotypes and residuals

International Journal of Mathematics and Mathematical Sciences, Volume 2004, Issue 3, Page 135-160, 2004., 2004
Relations and relational operators can be used to define the semantics of programming languages. The operations ∨ and ∘ serve to give angelic semantics by defining a program to go right when there is a possibility to go right. On the other hand, the demonic operations ⊔ and □ do the opposite: if there is a possibility to go wrong, a program whose ...
F. Tchier
wiley   +1 more source

A Monad-Based Formalization of Common Knowledge

Mathematics
We 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é, Rocco Gangle, Gianluca Caterina   +2 more
doaj   +1 more source

Modeling Mathematical Language Through Fixed Points, Formal Languages, and Linguistic Enrichment

Mathematics
This 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, Vanya Ivanova, Angel Todorov, Boyan Zlatanov   +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

FOUNDATIONS OF QUASIGROUPS. [PDF]

Proc Natl Acad Sci U S A, 1956
Stein SK.
europepmc   +1 more source