相关论文: A Kuroda-style j-translation
After surveying classical results, we introduce a generalized notion of inference system to support structural recursion on non-well-founded data types. Besides axioms and inference rules with the usual meaning, a generalized inference…
A semantics is given to possibilistic logic, a logic that handles weighted classical logic formulae, and where weights are interpreted as lower bounds on degrees of certainty or possibility, in the sense of Zadeh's possibility theory. The…
We generalize Bruned et.al.'s notion of translation in geometric and branched rough paths to a notion of translation in rough paths over any combinatorial Hopf algebra. We show that this notion of translation is equivalent to two bialgebras…
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is…
We verify the Invariance Conjectures of tautological equations in genus two. In particular, a uniform derivation of all known genus two equations is given.
Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in…
We generalize a result of Ruzsa on the inverse Erdos-Fuchs theorem for k-fold sumsets.
All simple translation-invariant valuations on polytopes are classified. As a direct consequence the well-known conditions for translative-equidecomposability are recovered. Furthermore, a simplified proof of the classification of…
We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be seen as a refinement and…
In a series of papers, a many-minds interpretation of quantum theory has been developed. The aim in these papers is to present an explicit mathematical formalism which constitutes a complete theory compatible with relativistic quantum field…
In the present paper we obtain some integrable generalisations of the continuous Toda system generated by a flat connection form taking values in higher grading subspaces of the algebra of the area--preserving diffeomorphism of the torus…
Using Albert results we argue that we don't need new physics to understand G\"odelization. Albert quantum automaton can "understand" both a formal system and a G\"odel proposition which can't be obtained within this system. There are two…
We introduce the abstract notions of "monadic operational semantics", a small-step semantics where computational effects are modularly modeled by a monad, and "type-and-effect system", including "effect types" whose interpretation lifts…
We give thread-modular non-relational value analyses as abstractions of a local trace semantics. The semantics as well as the analyses are formulated by means of global invariants and side-effecting constraint systems. We show that a…
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…
In this article an attempt is made to present very recent conceptual and computational developments in QFT as new manifestations of old and well establihed physical principles. The vehicle for converting the quantum-algebraic aspects of…
We propose the holographic interpretation of the 1-point conformal block on a torus in the semiclassical regime. To this end we consider the linearized version of the block and find its coefficients by means of the perturbation procedure…
Quantum mechanics with a generalized uncertainty principle arises through a representation of the commutator $[\hat{x}, \hat{p}] = i f(\hat{p})$. We apply this deformed quantization to free scalar field theory for $f_\pm =1\pm \beta p^2$.…
There exist dozens of interpretations of quantum theory, but they do not seem to contribute much to understanding the theory. This paper attempts to clarify some issues that are discussed in those interpretations. The main keywords are:…
We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between \'etale groupoids---which are topological groupoids whose source map is a local homeomorphisms---and complete pseudogroups---which are inverse monoids…