Results 101 to 110 of about 228,658 (258)
A Metalanguage for Guarded Iteration
, 2018 Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of guardedness in symmetric monoidal categories, which serves as a unifying ...
A Carboni +27 more
core +1 more source
The agentive achievement of acceptance
Philosophy and Phenomenological Research, Volume 111, Issue 1, Page 3-24, July 2025.Abstract Is acceptance an act or a state? Jonathan Cohen is often seen as a proponent of the view that acceptance is a mental act. In contrast, Michael Bratman claims that acceptance is a mental state. This paper argues that the evidence supports a more subtle approach.
Samuel Boardman
wiley +1 more source
A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Quipper is a practical programming language for describing families of quantum circuits. In this paper, we formalize a small, but useful fragment of Quipper called Proto-Quipper-M.
Francisco Rios, Peter Selinger
doaj +1 more source
Aboutness and universal generalization
Philosophy and Phenomenological Research, Volume 111, Issue 1, Page 325-342, July 2025.Abstract We motivate and present a novel semantic theory for universal generalizations (‘every A$A$ is a B$B$’), contributing to a growing theoretical line that gives equal prominence to subject matter and truth conditions when modelling propositional content.
Peter Hawke
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
A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling
, 2010 our previous work on business process, we have provided the foundation for formalization based on the environment concept. The environment is defined as a set of observers whose values change according to the actions of tasks.
Roger Atsa Etoundi +2 more
semanticscholar +1 more source
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
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
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
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