1,491 research outputs found
Recommended from our members
A general theory of action languages
We present a general theory of action-based languages as a paradigm, for the description, of those computational
systems which include elements of concurrency and networking, and extend this approach
to describe dist.ributed systems and also t,o describe the interaction of a system, with an environment.
As part of this approach we introduce the Action Language as a common model for the class of nondeterministic
concurrent programming languages and define its intensional and interaction semantics
in terrors of continuous transformation of environment behavior. This semantics i.s specialized for
programs with stores, and extended to describe distributed computations
Disquotationalism and the Compositional Principles
What Bar-On and Simmons call 'Conceptual Deflationism' is the thesis that truth is a 'thin' concept in the sense that it is not suited to play any explanatory role in our scientific theorizing. One obvious place it might play such a role is in semantics, so disquotationalists have been widely concerned to argued that 'compositional principles', such as
(C) A conjunction is true iff its conjuncts are true
are ultimately quite trivial and, more generally, that semantic theorists have misconceived the relation between truth, meaning, and logic. This paper argues, to the contrary, that even such simple compositional principles as (C) have substantial content that cannot be captured by deflationist 'proofs' of them. The key thought is that (C) is supposed, among other things, to affirm the truth-functionality of conjunction and that disquotationalists cannot, ultimately, make sense of truth-functionality.
This paper is something of a companion to "The Logical Strength of Compositional Principles"
On semiconjugate rational functions
We investigate semiconjugate rational functions, that is rational functions
related by the functional equation , where is a
rational function of degree at least two. We show that if and is a pair
of such functions, then either can be obtained from by a certain
iterative process, or and can be described in terms of orbifolds of
non-negative Euler characteristic on the Riemann sphere.Comment: Final version, accepted by Geom. Funct. Ana
- …