We find a general expression for the free energy of G(φ) = φ2k generalized 2D YangMills theories in the strong (A > Ac) region at large N . We also show that in this region, the density function of Young tableau of these models is a three-cut problem. In the specific φ6 model, we show that the theory has a third order phase transition, like φ2 (YM2) and φ 4 models. We have some comments for k ≥...

In this paper, we develop the Robinson-Schensted correspondence for the signed Brauer algebra. The Robinson-Schensted correspondence gives the bijection between the set of signed Brauer diagrams d and the pairs of standard bi-domino tableaux of shape λ = (λ1, λ2) with λ1 = (2 2f ), λ2 ∈ Γf,r where Γf,r = {λ|λ ` 2(n − 2f) + |δr| whose 2−core is δr, δr = (r, r − 1, . . . , 1, 0)}, for fixed r ≥ 0...

In [11], Lascoux and Schützenberger introduced a notion of key associated to any Young tableau. More recently Lascoux [9] defined the key of an alternating sign matrix by recursively removing all −1’s in such matrices. But alternating sign matrices are in bijection with monotone triangles, which form a subclass of Young tableaux. We show that in this case these two notions of keys coincide. Mor...

Even though it is not very often admitted, partial functions do play a signiicant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional lo...

In this paper we show that the problem of checking consistency of a knowledge base in the Description Logic ALCM is ExpTime-complete. The M stands for meta-modelling as defined by Motz, Rohrer and Severi. To show our main result, we define an ExpTime Tableau algorithm as an extension of an algorithm for checking consistency of a knowledge base in ALC by Nguyen and Szalas.

We present the design of Tableau Machine (TM), an AIbased, interactive, visual art generator for shared living spaces. TM is an instance of what we call “alien presence”: an ambient, non-human, embodied, intelligent agent. From overhead video in key public spaces, TM interprets its environment, including its human audience, and expresses its interpretation by displaying a sequence of abstract i...

Calculi for propositional dynamic logics have been investigated since the introduction of this logic in the late seventies. Only in recent years have practical procedures been suggested and implemented. In this paper, we compare three such systems, namely, the Tableau Workbench by Abate, Goré, and Widmann (2009), the pdlProver system by Goré and Widmann (2009), and the MLSolver system by Friedm...

We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. The systems have the analytic superformula property and can thus give a decision procedure.

This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-uniication. The use of rigid E-uniication and simultaneous rigid E-uniication for such methods has been proposed in (Gallier et al., 1987). After our proof of the undecidability of simultaneous rigid E-uniication (Degtyarev and Voronkov, 1996e) it has...