相关论文: The polyhedral geometry of Wajsberg hoops
Building on the correspondence between finitely axiomatised theories in {\L}ukasieiwcz logic and rational polyhedra, we prove that the unification type of the fragment of {\L}ukasiewicz logic with $n\geq 2$ variables is nullary. This solves…
Continuous logic extends the multi-valued Lukasiewicz logic by adding a halving operator on propositions. This extension is designed to give a more satisfactory model theory for continuous structures. The semantics of these logics can be…
The present paper investigates proof-theoretical and algebraic properties for the probability logic FP(L,L), meant for reasoning on the uncertainty of Lukasiewicz events. Methodologically speaking, we will consider a translation function…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
By Tits' deformation argument, a generic Iwahori--Hecke algebra $H$ associated to a finite Coxeter group $W$ is abstractly isomorphic to the group algebra of $W$. Lusztig has shown how one can construct an explicit isomorphism, provided…
Consider the wrapped Fukaya category W of a collection of exact Lagrangians in a Liouville manifold. Under a non-degeneracy condition implying the existence of enough Lagrangians, we show that natural geometric maps from the Hochschild…
Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special class of pocrims that provide algebraic semantics for what we…
Geometry of buildings is used to prove some homological properties of the category of smooth representations of a reductive p-adic group (Kazhdan's "pairing conjecture", Bernstein's description of homological duality in terms of…
For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the…
We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then…
We show that the higher-order Weyl algebras over a field of characteristic zero, which are formally rigid as associative algebras, can be formally deformed in a nontrivial way as hom-associative algebras. We also show that these…
Stone-type dualities provide a powerful mathematical framework for studying properties of logical systems. They have recently been fruitfully explored in understanding minimisation of various types of automata. In Bezhanishvili et al.…
We study the singularities of closures of Iwahori orbits on loop spaces of symmetric varieties extending the celebrated work of Lusztig-Vogan to the affine setting. We show that the IC-complexes of orbit closures (with possible non-trivial…
The notion of homomorphism indistinguishability offers a combinatorial framework for characterizing equivalence relations of graphs, in particular equivalences in counting logics within finite model theory. That is, for certain graph…
We introduce two new homology theories of orbifolds from some special type of triangulations adapted to an orbifold, called AW-homology and DW-homology. The main idea in the definitions of these two homology theories is that we use…
We classify the simple modules for the rational Cherednik algebra that are irreducible when restricted to W, in the case when W is a finite Weyl group. The classification turns out to be closely related to the cuspidal two-sided cells in…
Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral semantics for the basic modal language has already been well…
Let W be a compact simply connected triangulated manifold with boundary and $K \subset W$ be a subpolyhedron. We construct an algebraic model of the rational homotopy type of the complement $W \setminus K$ out of a model of the map of pairs…
The main goal of this paper is to compute two related numerical invariants of a primitive ideal in the universal enveloping algebra of a semisimple Lie algebra. The first one, very classical, is the Goldie rank of an ideal. The second one…
We show that the universal measuring coalgebras between Frobenius algebras turn the category of Frobenius algebras into a Hopf category (in the sense of Batista-Caenepeel-Vercruysse), and the universal comeasuring algebras between Frobenius…