Related papers: Canonical calculi with (n,k)-ary quantifiers
The various phase spaces involved in the dynamics of parametrized nonrelativistic Hamiltonian systems are displayed by using Crnkovic and Witten's covariant canonical formalism. It is also pointed out that in Dirac's canonical formalism…
An abstract framework of canonical inference is used to explore how different proof orderings induce different variants of saturation and completeness. Notions like completion, paramodulation, saturation, redundancy elimination, and…
This paper explores the connection between two central results in the proof theory of classical logic: Gentzen's cut-elimination for the sequent calculus and Herbrands "fundamental theorem". Starting from Miller's expansion-tree-proofs, a…
In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. In addition, they enjoy a top-down symmetry and some…
We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an impredicative logic -- in our case a sequent calculus for…
Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are specified by describing appropriate proof systems. Recent research has identified two proof-theoretic features that…
Adopting a particular approach to fractional calculus, this paper sets out to build up a consistent extension of the Faddeev-Jackiw (or Symplectic) algorithm to carry out the quantization procedure of coarse-grained models in the standard…
We aim to analyze the relation between two random vectors that may potentially have both different number of attributes as well as realizations, and which may even not have a joint distribution. This problem arises in many practical…
A prototypical example of categorial grammars are those based on Lambek calculus, i.e. noncommutative intuitionistic linear logic. However, it has been noted that purely noncommutative operations are often not sufficient for modeling even…
A canonical quantization scheme is represented for a quantum system interacting with a nonlinear absorbing environment. The environment is taken anisotropic and the main system is coupled to its environment through some coupling tensors of…
This work introduces a canonical structure for a broad class of unconstrained first-order algorithms that admit a Lur'e representation, including systems with relative degree greater than one, e.g., systems with delayed gradient feedback.…
We describe the Hilbert scheme components parametrizing lines and conics on the space of determinantal nets of conics, N. As an application, we use the quantum Lefschetz hyperplane principle to compute the instanton numbers of rational…
Starting from an action for discretized gravity we derive a canonical formalism that exactly reproduces the dynamics and (broken) symmetries of the covariant formalism. For linearized Regge calculus on a flat background -- which exhibits…
A rank-three tensor model in canonical formalism has recently been proposed. The model describes consistent local-time evolutions of fuzzy spaces through a set of first-class constraints which form an on-shell closed algebra with structure…
We investigate the consistency of coherent state (or Berezin-Klauder-Toeplitz, or anti-Wick) quantization in regard to physical observations in the non- relativistic (or Galilean) regime. We compare this procedure with the canonical…
Justification logics are modal-like logics that provide a framework for reasoning about justifications. This paper introduces labeled sequent calculi for justification logics, as well as for hybrid modal-justification logics. Using the…
This paper investigates the representation-theoretic structure of the Koszul cohomology of a smooth projective variety $X$ over an algebraically closed field $k$, admitting an action of a finite group $G$ of order coprime to ${\rm…
The coordinate-free formulation of canonical quantization, achieved by a flat-space Brownian motion regularization of phase-space path integrals, is extended to a special class of closed first-class constrained systems that is broad enough…
The Canonical Transformation theory of Yanai and Chan [J. Chem. Phys. 124, 194106 (2006)] provides a rigorously size-extensive description of dynamical correlation in multireference problems. Here we describe a new formulation of the theory…
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This paper studies the logical properties of how this new information is combined with previous information. It presents Quantum Logic as…