相关论文: The Logic of CMV-Algebras

This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive…

Fuzzy Epistemic Logic is an important formalism for approximate reasoning. It extends the well known basic propositional logic BL, introduced by H\'ajek, by offering the ability to reason about possibility and necessity of fuzzy…

By introducing a generalized notion of multiple zeta values associated with an arbitrary finite subset $S\subset \mathbb{P}^1(\mathbb{C})$ and studying their transformation properties under rational functions, we show that multiple…

We present a probabilistic extension of the description logic $\mathcal{ALC}$ for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilistic-logical…

This paper presents a novel concept of a Polyatomic Logic and initiates its systematic study. This approach, inspired by Inquisitive semantics, is obtained by taking a variant of a given logic, obtained by looking at the fragment covered by…

In this paper, we give new proofs of the celebrated Andr\'eka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order…

We give a systematic description of many monomial bases for a given quantized enveloping algebra and of many integral monomial bases for the associated Lusztig $\mathbb Z[v,v^{-1}]$-form. The relations between monomial bases, PBW bases and…

This article is an expository account of the theory of twisted commutative algebras, which simply put, can be thought of as a theory for handling commutative algebras with large groups of linear symmetries. Examples include the coordinate…

Following our previous works on $C^*$-graph algebras and the associated Cuntz-Krieger graph families, in this paper we will try to have a look at the colored version of these structures and to see what a $C^*$-colored graph algebra might…

We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…

In this paper, first we construct a Lie 2-algebra associated to every Leibniz algebra via the skew-symmetrization. Furthermore, we introduce the notion of the naive representation for a Leibniz algebra in order to realize the abstract…

We include here some material that did not make its way into the published version (Bull. Symb. Log 18-2, June 2012, pp. 161-229, arXiv:1007.2376), in particular a proof of Theorem K to the effect that there is an initial segment of the…

A metric algebra is a metric variant of the notion of $\Sigma$-algebra, first introduced in universal algebra to deal with algebras equipped with metric structures such as normed vector spaces. In this paper, we showed metric versions of…

We present an extension theorem for a separately holomorphic function which is polynomial/rational in some variables.

This is a survey article on Hall algebras and their applications to the study of motivic invariants of moduli spaces of coherent sheaves on Calabi-Yau threefolds. It is a write-up of my talks at the 2015 Salt Lake City AMS Summer Research…

It is argued that chiral algebras of conformal field theory possess a W-algebra structure. A survey of explicitly known W-algebras and their constructions is given. (Talk given at the XIX International Colloquium on ``Group Theoretical…

We introduce a hierarchy of degree structures between the Medvedev and Muchnik lattices which allow varying amounts of non-uniformity. We use these structures to introduce the notion of the uniformity of a Muchnik reduction, which expresses…

The set of points of a one-dimensional cut-and-project quasicrystal or model set, while not additive, is shown to be multiplicative for appropriate choices of acceptance windows. This leads to the definition of an associative additive…

We investigate some aspects of the c=-2 logarithmic conformal field theory. These include the various representations related to this theory, the structures which come out of the Zhu algebra and the W algebra related to this theory. We try…

In this paper, we introduce and investigate monadic NM-algebras: a variety of NM-algebras equipped with universal quantifiers. Also, we obtain some conditions under which monadic NM-algebras become monadic Boolean algebras. Besides, we show…