This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties the calculus, such as normalisation and subformula property also present both sequent proof net calculus for In addition to clarifying logical foundations current study opens way variants extensions original system, including but not...

We present a detailed analysis of assumptions that J. Bell used to show that local realism contradicts QM. We find that Bell’s viewpoint on realism is nonphysical, because it implicitly assume that observed physical variables coincides with ontic variables (i.e., these variables before measurement). The real physical process of measurement is a process of dynamical interaction between a system ...

The realism of avatars in terms of behavioral and form is critical to the development of collaborative virtual environments. In the study we utilized state of the art, realtime face tracking technology to track and render facial expressions unobtrusively in a desktop CVE. Participants in dyads interacted with each other via either a videoconference (high behavioral realism and high form realism...

One of the most interesting issues that arises in agents based on the BDI (belief-desire-intention) formalism is capturing notions of realism, that is constraints that describe possible interrelationships between the three attitudes. Three such sets of constraints have been considered in the literature: strong realism, realism and weak realism. In this paper we propose notions of realism for he...

In those parts of his paper that have the clearest bearing upon my contributions, Simon Deichsel 1) elaborates various conceptions of realism; 2) declares himself an anti-realist of a specific sort; 3) seeks to identify and criticise pragmatic aspects of my justification for adopting a realist orientation; and 4) argues that his anti-realist perspective is preferable to realism. An immediate pr...

We suggest to test the premise of “macroscopic local realism” which is sufficient to derive Bell inequalities when measurements of photon number are only accurate to an uncertainty of order n photons, where n is macroscopic. Macroscopic local realism is only sufficient to imply, in the context of the original Einstein-Podolsky-Rosen argument, fuzzy “elements of reality” which have a macroscopic...

The paper discusses major implications of high energy physics for the scientific realism debate. The first part analyses the ways in which aspects of the empirically well-confirmed standard model of particle physics are relevant for a reassessment of entity realism, ontological realism and structural realism. The second part looks at the implications of more far-reaching concepts like string th...

This paper describes three varieties of realism that need to be considered in evaluating computer graphics images and defines the criteria that need to be met if each kind of realism is to be achieved. The paper introduces a conceptual framework for thinking about realism in images, and describes a set of research tools for measuring image realism and assessing its value in graphics applications.