相关论文: A Kuroda-style j-translation
We extend Mazzola's counterpoint model using category theory, generalizing from the category $\mathbf{Set}$ to other topoi with suitable properties. This generalization suggests that counterpoint's essential structure depends on specific…
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type…
The Glauber approach to the gluon density in a nucleus, suggested by A. Mueller, is developed and studied in detail. Using the GRV parameterization for the gluon density in a nucleon, the value as well as energy and $Q^2$ dependence of the…
According to D\"oring and Isham the spectral topos corresponds to any quantum system. The description of a system in the topos becomes similar to this given by classical theory, up to multiplication of observables. Logic of the emergent…
In this paper we obtain several properties of translating solitons for a general class of extrinsic geometric curvature flows given by a homogeneous, symmetric, smooth non-negative function $\gamma$ defined in an open cone…
The Curry-Howard correspondence is often described as relating proofs (in intutionistic natural deduction) to programs (terms in simply-typed lambda calculus). However this narrative is hardly a perfect fit, due to the computational content…
Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…
We show that intuitionistic quantifiers admit the following temporal interpretation: $\forall x A$ is true at a world $w$ iff $A$ is true at every object in the domain of every future world, and $\exists x A$ is true at $w$ iff $A$ is true…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
The non-classical features of quantum mechanics are reproduced using models constructed with a classical theory - general relativity. The inability to define complete initial data consistently and independently of future measurements,…
In this paper we provide a unifying description of different types of semantics of modal logic found in the literature via the framework of topological categories. In the style of categorical logic, we establish an exact correspondence…
Our main result is the equivalence of two notions of reducibility between structures. One is a syntactical notion which is an effective version of interpretability as in model theory, and the other one is a computational notion which is a…
Quantum mechanics is more than the derivation of straightforward theorems about vector spaces, Hilbert spaces and functional analysis. In order to be applicable to experiment and technology, those theorems need interpretation and meaning.…
We show that in presence of the Snyder algebra the notion of translation in momentum space is modified to a formula similar to the relativistic addition of velocities. These results confirm the strict connection between Snyder algebra and…
The inverse method is a saturation based theorem proving technique; it relies on a forward proof-search strategy and can be applied to cut-free calculi enjoying the subformula property. Here we apply this method to derive the unprovability…
Non-Newtonian calculus naturally unifies various ideas that have occurred over the years in the field of generalized thermostatistics, or in the borderland between classical and quantum information theory. The formalism, being very general,…
The main result of this thesis is the construction of a tannakian context over the category of sup-lattices, associated with an arbitrary Grothendieck topos, and the attainment of new results in tannakian representation theory from it.…
We give efficient quantum algorithms for the problems of Hidden Translation and Hidden Subgroup in a large class of non-abelian solvable groups including solvable groups of constant exponent and of constant length derived series. Our…
We propose a conjugate logic that can capture the behavior of quantum and quantum-like systems. The proposal is similar to the more generic concept of epistemic logic: it encodes knowledge or perhaps more correctly, predictions about…
The purpose of this short paper is to further develop the theory of transverse generalized complex structures. We focus on proving some equivalent conditions to the basic $dd^{\mathcal{J}}$ -lemma. We justify our approach by describing the…