In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...

Bell’s Theorem from 1964 and the (Strong) Free Will Theorem of Conway and Kochen from 2009 both exclude deterministic hidden variable theories (or, in modern parlance, ‘ontological models’) that are compatible with some small fragment of quantum mechanics, admit ‘free’ settings of the archetypal Alice&Bob experiment, and satisfy a locality condition called Parameter Independence. We clarify the...

A formula is given for the first coefficient of the Conway polynomial of a link in terms of its linking numbers. A graphical interpretation of this formula is also given. Introduction. Suppose that L is an oriented link of n components in 53. Associated to L is its Conway polynomial V¿(z), which must be of the form VL(z) = z-1[a0 + alz2+ ■■■+amz2m\. Let VL(z) = VL(z)/z"~1. In this paper we shal...

It is tempting to conjecture that there is some interesting relationship between the Conway polynomial ∇L(z) of a link L and ∇K(z), where K is a knot obtained by banding together the components of L. Obviously they cannot be equal since only terms of even or odd degree appear in ∇L(z), according to whether L has an odd or even number of components. Moreover there are many ways of choosing bands...

It is discussed, why classical simulators of quantum computers escape from some no-go claims like Kochen-Specker, Bell, or recent Conway-Kochen " Free Will " theorems.

It is discussed, why classical simulators of quantum computers escape from some no-go claims like Kochen-Specker, Bell, or recent Conway-Kochen " Free Will " theorems.

Anne Finch Conway (1631-1679) es una de las filósofas del siglo XVII que discutió con los filósofos destacados su época. La única obra la contamos esta autora Principia Philosophiae Anticissimae et Recentissimae (1690) o The Principle of the Most Ancient and Modern Philosophy (1692). En este artículo me propongo dar cuenta rol naturaleza humana tiene en metafísica, modo encontrar un lugar más e...

Statistical modeling of historical crash data can provide essential insights to safety managers for proactive highway management. While numerous studies have contributed the advancement from statistical methodological front, minimal research efforts been dedicated real-time monitoring situations. This study advocates use methods surveillance using three years rural highways in Saudi Arabia. Fir...

In this paper we compute the reduced HOMFLY-PT homologies of the Conway and the Kinoshita-Terasaka knots and show that they are isomorphic.