Related papers: Superamalgamation for modal lattices via non-distr…
Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much…
We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that…
We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property.…
For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal…
The first-order theory of MALL (multiplicative, additive linear logic) over only equalities is an interesting but weak logic since it cannot capture unbounded (infinite) behavior. Instead of accounting for unbounded behavior via the…
We prove an abstract theorem on keeping the compactness property of a linear operator after interpolation in Banach spaces. Our approach consists of two features. Applying the principle "reductio ad absurdum," we obtain a possibility to…
We study the amalgamation property in positive logic. We give some connections between the amalgamation property and Robinson theories, model-complete theories and the Hausdorff property.
We show that if a module M over a basic classical Lie superalgebra of type type I is simultaneously a Verma module with respect to some Borel \(\mathfrak b_1\) and a dual Verma module with respect to Borel \(\mathfrak b_2\), then M is…
Weak coalgebra-Galois extensions are studied. A notion of an invertible weak entwining structure is introduced. It is proven that, within an invertible weak entwining structure, the surjectivity of the canonical map implies bijectivity…
The aim of this paper is to study integer rounding properties of various systems of linear inequalities to gain insight about the algebraic properties of Rees algebras of monomial ideals and monomial subrings. We study the normality and…
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in…
Traditionally, research on Craig interpolation is concerned with (a) establishing the Craig interpolation property (CIP) of a logic saying that every valid implication in the logic has a Craig interpolant and (b) designing algorithms that…
We use duality theorems to obtain presentations of some categories of modules. To derive these presentations we generalize a result of Cautis-Kamnitzer-Morrison [arXiv:1210.6437v4]: Let $\mathfrak{g}$ be a reductive Lie algebra, and $A$ an…
Two new simple modular Lie superalgebras are obtained in characteristics 3 and 5, which share the property that their even parts are orthogonal Lie algebras and the odd parts their spin modules. The characteristic 5 case is shown to be…
We introduce a notion of Q-algebra that can be considered as a generalization of the notion of Q-manifold (a supermanifold equipped with an odd vector field obeying {Q,Q} =0). We develop the theory of connections on modules over Q-algebras…
For some important families of complete infinite lattices, we study some generalizations of two fundamental notions which are mostly treated for finite lattices. Specifically, for well-separated $\kappa$-lattices, and also for weakly atomic…
We compute the component field 4-dimensional N=1 supergravity Lagrangian that is obtained from a superfield Lagrangian in the U(1)_K formalism with a linear dilaton multiplet. All fermionic terms are presented. In a variety of important…
In this survey, we explain a version of topological $L^2$-Serre duality for singular complex spaces with arbitrary singularities. This duality can be used to deduce various $L^2$-vanishing theorems for the $\overline\partial$-equation on…
Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model…
We study properties of differential graded (dg) operads modulo weak equivalences, that is, modulo the relation given by the existence of a chain of dg operad maps inducing a homology isomorphism. This approach, naturally arising in string…