Related papers: Canonical calculi with (n,k)-ary quantifiers
Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4. Although the method…
We use methods of the general theory of congruence and *congruence for complex matrices--regularization and cosquares-to determine a unitary congruence canonical form (respectively, a unitary *congruence canonical form) for complex matrices…
Let U be the quantum group associated to a Lie algebra g of rank n. The negative part U^- of U has a canonical basis B with favourable properties, introduced by Kashiwara and Lusztig. The approaches of Kashiwara and Lusztig lead to a set of…
We construct a higher level analogue of Dorey's rule, which describe certain surjective morphisms between Kirillov--Reshetikhin (KR) modules over quantum affine algebras. Building on this, we establish a generalized T-system of short exact…
We introduce a sequent calculus for the propositional team logic with both the split disjunction and the inquisitive disjunction consisting of a Gentzen-style system (G3-like) for classical propositional logic together with two…
I study the canonical formulation and quantization of some simple parametrized systems, including the non-relativistic parametrized particle and the relativistic parametrized particle. Using Dirac's formalism I construct for each case the…
Canonical quantization has served wonderfully for the quantization of a vast number of classical systems. That includes single classical variables, such as $p$ and $q$, and numerous classical Hamiltonians $H(p,q)$, as well as field…
Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics…
We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a…
Gentzen's 1936 proof of the consistency of Peano Arithmetic was a significant result in the foundations of mathematics. We provide here a modified version of the proof, based on G\"{o}del's reformulation, and including additional details…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
In this paper, we introduce a Ketonen-type Gentzen-style classical simple type theory $\bf KCT$. Also the tableau system $\bf KCTT$ corresponding to $\bf KCT$ is introduced. Further inference-preserving Gentzen system $\bf KCT_h$…
We discuss the canonical quantization of systems formulated on discrete space-times. We start by analyzing the quantization of simple mechanical systems with discrete time. The quantization becomes challenging when the systems have…
We construct and characterize canonical purifications for general algebraic states, extending prior constructions by Woronowicz and by Dutta/Faulkner to general quantum theories. Given a state on a $*$-algebra, the canonical purification is…
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi…
In this paper many classes of sets of matrices with entries in F (F=R, F=C, F=H) are introduced. Each class with the corresponding topology determines a real analytical, complex or symplectic manifold for F=R, F=C or F=H respectively. Any…
The Collatz variations pattern seems not to have any recurrence relation between numbers. But knowing that there is at least a natural number that converges after several iterations we construct a function $f_{X,Y}$ that is equal to the…
The four-dimensional model with topological mass generation that was found by Dvali, Jackiw and Pi has recently been generalized to any even number of dimensions (2n-dimensions) in a nontrivial manner in which a Stueckelberg-type mass term…
Enhanced quantization offers a different classical/quantum connection than that of canonical quantization in which $\hbar >0$ throughout. This result arises when the only allowed Hilbert space vectors allowed in the quantum action…
We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/2 theta identities. A…