Related papers: Canonical calculi with (n,k)-ary quantifiers
This paper considers the problem of canonical-correlation analysis (CCA) (Hotelling, 1936) and, more broadly, the generalized eigenvector problem for a pair of symmetric matrices. These are two fundamental problems in data analysis and…
This survey article is concerned with the modeling of the kinematical structure of quantum systems in an algebraic framework which eliminates certain conceptual and computational difficulties of the conventional approaches. Relying on the…
The canonical reduction algorithm is applied to Maxwell and Yang-Mills equations considered as Hamiltonian systems on some fiber bundles with symplectic and connection structures. The minimum interaction principle proved to have geometric…
Recently the third named author defined a 2-parametric family of groups $G_n^k$ \cite{gnk}. Those groups may be regarded as a certain generalisation of braid groups. Study of the connection between the groups $G_n^k$ and dynamical systems…
We study the canonical model of the Artin-Schreier-Kummer-Witt flat family of curves over a ring of mixed characteristic. We first prove the relative version of a classical theorem by Petri, then use the model proposed by Bertin-M\'ezard to…
Let (X,D) be a projective log pair over the ring of integers of a number field such that the log canonical line bundle K_(X,D) or its dual -K_(X,D) is relatively ample. We introduce a canonical height of K_(X,D) (and -K(X,D)) which is…
Non-canonical quantization is based on certain reducible representations of canonical commutation relations. Relativistic formalism for electromagnetic non-canonical quantum fields is introduced. Unitary representations of the Poincar\'e…
The rules of canonical quantization normally offer good results, but sometimes they fail, e.g., leading to quantum triviality ($=$ free) for certain examples that are classically nontrivial ($\ne$ free). A new procedure, called Enhanced…
An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical…
We establish a sharp upper estimate for the order of a canonical system in terms of the Hamiltonian. This upper estimate becomes an equality in the case of Krein strings. As an application we prove a conjecture of Valent about the order of…
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…
In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light of the gap between the proof equivalences enforced by the lambda calculi from the literature and by the recently defined winning strategies…
Narrowing and unification are very useful tools for symbolic analysis of rewrite theories, and thus for any model that can be specified in that way. A very clear example of their application is the field of formal cryptographic protocol…
Recursive saturation and resplendence are two important notions in models of arithmetic. Kaye, Kossak, and Kotlarski introduced the notion of arithmetic saturation and argued that recursive saturation might not be as rigid as first assumed.…
This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…
We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contraction. These structural rules introduce explicit erasure and…
A presentation is provided of the basic notions and operations of a) the propositional calculus of a variant of fuzzy logic -- canonical fuzzy logic, CFL -- and in a more succinct and introductory way, of b) the theory of fuzzy sets…
In our previous work [1] we described quantized computation using Horn clauses and based the semantics, dubbed as entanglement semantics as a generalization of denotational and distribution semantics, and founded it on quantum probability…
The theories defined by Lagrangians containing second time derivative are considered. It is shown that if the second derivatives enter only the terms multiplied by coupling constant one can consistently define the perturbative sector via…
The well-known canonical coherent states are expressed as an infinite series in powers of a complex number $z$ together with a positive sequence of real numbers $\rho(m)=m$. In this article, in analogy with the canonical coherent states, we…