Converse Ackermann Property and Minimal Negation

A logic S has the Converse Ackermann Property (CAP) if non-necessitive propositions are not derivable in S from necessitive ones. We show in this paper how to introduce minimal negation in positive logics with the CAP. Relational ternary semantics are provided for all the logics considered in this paper

The artistic use of parallax and lenses revealing the invisible in holography

There are many artistic resources offered by holography: third-dimension registration and reconstruction, immateriality, color interpretation, holographic space, realism, etc. But there are a few of them which are very characteristic and singular of that media such as the inversion of parallax, and the possibility of making invisible to turn into visible. Current paper aims to discuss key issues concerning with the aesthetic use of those special features. It is based on theoretical as well as critical analysis of the production by some of the most outstanding holographic artists who have made use of such interesting resources

Equation of state of a seven-dimensional hard-sphere fluid. Percus-Yevick theory and molecular dynamics simulations

Following the work of Leutheusser [Physica A 127, 667 (1984)], the solution to the Percus-Yevick equation for a seven-dimensional hard-sphere fluid is explicitly found. This allows the derivation of the equation of state for the fluid taking both the virial and the compressibility routes. An analysis of the virial coefficients and the determination of the radius of convergence of the virial series are carried out. Molecular dynamics simulations of the same system are also performed and a comparison between the simulation results for the compressibility factor and theoretical expressions for the same quantity is presented.Comment: 12 pages, 4 figures; v3: Equation (A.19) corrected (see http://dx.doi.org/10.1063/1.2390712