Related papers: Negation in SPARQL
We give some basics about homological algebra of difference representations. We consider both the difference-discrete and the difference-rational case. We define the corresponding cohomology theories and show the existence of spectral…
We review recent progress in operator algebraic approach to conformal quantum field theory. Our emphasis is on use of representation theory in classification theory. This is based on a series of joint works with R. Longo.
We give a purely model-theoretic characterization of the semantics of logic programs with negation-as-failure allowed in clause bodies. In our semantics the meaning of a program is, as in the classical case, the unique minimum model in a…
We define Hecke operators on vector valued modular forms transforming with the Weil representation associated to a discriminant form. We describe the properties of the corresponding algebra of Hecke operators and study the action on modular…
In logic programming, negation can be interpreted in various ways. Probably best known is the concept of "negation as failure", where "$\mathit{not}\, p$" is true if we have no evidence for $p$. On the other hand, strong negation requires…
These three topics are an attempt to explicate some curiosities of the inverse problem of representation theory (i.e. having a set of operators to describe the "correct" algebraic object, which is represented by them) on simple examples…
The logical negation property (LNP), which implies generating different predictions for semantically opposite inputs, is an important property that a trustworthy language model must satisfy. However, much recent evidence shows that…
One advantage of paraconsistent logic is that it can deal with inconsistencies without making the system trivial. However, unlike classical propositional calculus, its deductive system is limited, and the meaning of paraconsistent negation…
We develop criteria to decide if an $N=2$ or $N=4$ super conformal algebra is a subalgebra of a super vertex operator algebra in general, and of a super lattice theory in particular. We give some specific examples.
Based on our previous work on truly concurrent process algebras APTC, we use it to verify the security protocols. This work (called Secure APTC, abbreviated SAPTC) have the following advantages in verifying security protocols: (1) It has a…
This is a set of lecture notes on the operator algebraic approach to 2-dimensional conformal field theory. Representation theoretic aspects and connections to vertex operator algebras are emphasized. No knowledge on operator algebras or…
In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without…
We investigate algebraic structures within sets of surjective and injective linear operators between sequence spaces, completing results of Aron et al.
Multilingual sentence encoders have seen much success in cross-lingual model transfer for downstream NLP tasks. Yet, we know relatively little about the properties of individual languages or the general patterns of linguistic variation that…
For the two Cartan type S subalgebras of the Witt algebra $\W_n$, called Lie algebras of divergence-zero vector fields, we determine all module structures on the universal enveloping algebra of their Cartan subalgebra $\h_n$. We also give…
We show that semi-simple lie algebras can be characterized by their maximal nilpotent subalgebra, which is the same as the nilpotent radical of a Borel subalgebra.
We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties…
We study three fundamental topics in the representation theory of disconnected algebraic groups whose identity component is reductive: (i) the classification of irreducible representations; (ii) the existence and properties of Weyl and dual…
We construct a representation of the blob algebra over a ring allowing base change to every interesting (i.e. non--semisimple) specialisation which, in quasihereditary specialisations, passes to a full tilting module.
This paper considers a class of coalgebras over the Barratt-Eccles operad and shows that they classify Z-completions of pointed, reduced simplicial sets. As a consequence, they encapsulate the homotopy types of nilpotent simplicial sets.…