Related papers: The Logic of CMV-Algebras
The CMV matrices are the unitary analogs of Jacobi matrices. In the finite case, it is well-known that the set of Jacobi matrices with a fixed trace is nothing but a coadjoint orbit of the lower triangular group. In this note, we will give…
Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation. We argue that this proposal, beside satisfying…
In this article, we introduce mock-Lie superalgebras, we give some definitions, properties, constructions, and we study their representations. Moreover we introduce pseudo-euclidean mock-Lie superalgebras which are mock-Lie superalgebras…
We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility…
This note presents three resonances in commutative algebra and analytic geometry of the concept of Lojasiewicz inequality. The first is the interpretation in complex analytic geometry of the best possible exponent for a function g with…
This monograph, along with a self-consistent presentation of the theory of q-W-algebras including the construction of algebraic group analogues of Slodowy slices, contains a description of q-W-algebras in terms of Zhelobenko type operators…
In Part I of this paper, we introduced a class of certain algebras of finite dimension over a field. All these algebras are split, symmetric and local. Here we continue to investigate their Loewy structure. We show that in many cases their…
We extend the framework of abstract algebraic logic to weak logics, namely logical systems which are not necessarily closed under uniform substitution. We interpret weak logics by algebras expanded with an additional predicate and we…
Motivated by recent results in graph C*-algebras concerning an equivariant pushout structure of the Vaksman-Soibelman quantum odd spheres, we introduce a class of graphs called trimmable. Then we show that the Leavitt path algebra of a…
In the present article we discuss different approaches to cohomological invariants of algebraic groups over a field. We focus on the Tits algebras and on the Rost invariant and relate them to the Morava K-theory. Furthermore, we discuss…
Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for…
These lecture notes are a systematic and self-contained exposition of the cohomological theories naturally related to partial differential equations: the Vinogradov C-spectral sequence and the C-cohomology, including the formulation in…
We show that the variety of MV-algebras is $2$-based and we offer elegant $2$-bases for the varieties of commutative BCK-algebras and {\L}BCK-algebras.
We give natural examples of factors of the Muchnik lattice which capture intuitionistic propositional logic (IPC), arising from the concepts of lowness, 1-genericity, hyperimmune-freeness and computable traceability. This provides a purely…
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by…
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We…
We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove soundness and completeness of the same with respect to our semantics. We find this semantics easily specialises to the linearly-ordered Kripke frames for…
We provide some necessary details to several arguments appearing in our previous paper ``Canonical bases for quantum generalized Kac-Moody algebras''. We also make the link with some other work on the same subject.
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes…