Results 101 to 110 of about 230,502 (255)
Fundamenta Informaticae, 1996 Summary: This is an essay where the author expresses his views on applied denotational semantics. In the author's opinion, whether a software system has or does not have a sufficiently abstract denotational semantics should be regarded as a pragmatic attribute of the system rather than merely as a mathematical attribute of its description.
openaire +4 more sources
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
A Denotational Approach to Release/Acquire Concurrency
European Symposium on Programming. We present a compositional denotational semantics for a functional language with first-class parallel composition and shared-memory operations whose operational semantics follows the Release/Acquire weak memory model (RA).
Yotam Dvir, Ohad Kammar, O. Lahav
semanticscholar +1 more source
Where Mathematical Symbols Come From
Topics in Cognitive Science, EarlyView.Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source
Service-Oriented Logic Programming [PDF]
Logical Methods in Computer Science, 2015 We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj +1 more source
Similarity Assessment of the Engineering Concepts: Decision‐Making Support and Metrics
Systems Engineering, Volume 28, Issue 5, Page 628-639, September 2025.ABSTRACT The new product development (NPD) process is a systematic approach to bring new products and innovations to market. Nowadays, this process is affected by a number of influencing factors associated with the fast‐paced technological changes. One of those factors is the distributed design nature of product development activities: team members are
Yaroslav Menshenin +3 more
wiley +1 more source
Displacement and quantification without representation
Mind &Language, Volume 40, Issue 4, Page 418-436, September 2025.Perry and Recanati have argued that thought and speech can concern entities that they do not represent. This is possible because speakers and thinkers are pragmatically situated within their environs. I argue that thought and speech can go much farther than that.
Mihnea Capraru
wiley +1 more source
Divergence and unique solution of equations [PDF]
Logical Methods in Computer Science, 2019 We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of equations ...
Adrien Durier +2 more
doaj +1 more source
In defense of value incomparability: A reply to Dorr, Nebel, and Zuehl
Noûs, Volume 59, Issue 3, Page 796-808, September 2025.Abstract Cian Dorr, Jacob Nebel, and Jake Zuehl have argued that no objects are incomparable in value. One set of arguments they offer depart from a principle they call ‘Strong Monotonicity’, which states that if x is good and y is not good, then x is better than y.
Erik Carlson, Olle Risberg
wiley +1 more source
Iconic Words Are Associated With Iconic Gestures
Cognitive Science, Volume 49, Issue 8, August 2025.Abstract Iconicity ratings studies have established that there are many English words which native speakers judge as “iconic,” that is, as sounding like what they mean. Here, we explore whether these iconic English words are more likely to be accompanied by iconic gestures.
Ell Wilding +3 more
wiley +1 more source