Related papers: Superamalgamation for modal lattices via non-distr…

We prove several representation theorems for infinitary predicate modal logic

Craig's interpolation theorem (Craig 1957) is an important theorem known for propositional logic and first-order logic. It says that if a logical formula $\beta$ logically follows from a formula $\alpha$, then there is a formula $\gamma$,…

Let $\ggg:=\gl_{m|n}$ be a general linear Lie superalgebra over an algebraically closed field $\mathds{k}=\overline{\mathbb{F}}_p$ of characteristic $p>2$. A module of $\ggg$ is said to be of Kac-Weisfeiler if its dimension coincides with…

We classify real and complex infinite-dimensional narrow positively graded Lie algebras ${\mathfrak g}=\oplus_{i=1}^{{+}\infty}{\mathfrak g}_i$ with properties $$ [{\mathfrak g}_1, {\mathfrak g}_i]={\mathfrak g}_{i{+}1}, \; \dim{{\mathfrak…

We look at non-classical negations and their corresponding adjustment connectives from a modal viewpoint, over complete distributive lattices, and apply a very general mechanism in order to offer adequate analytic proof systems to logics…

G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contraction are height-preserving admissible, and we give a syntactic…

This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong…

We prove an abstract theorem on keeping the compactness property of a linear operator after interpolation in Banach spaces. No analytical presentation of operators, spaces and interpolation functor is required. We use only some little-known…

Weak Kleene logics are three-valued logics characterized by the presence of an infectious truth-value. In their external versions, as they were originally introduced by Bochvar and Hallden, these systems are equipped with an additional…

We find a natural $L_{\omega_1,\omega}$-axiomatisation $\Sigma$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $\Sigma$ has a unique model in every uncountable…

The complex method of interpolation, going back to Calder\'on and Coifman et al., on the one hand, and the Alexander-Wermer-Slodkowski theorem on polynomial hulls with convex fibers, on the other hand, are generalized to a method of…

We introduce the antipodal pairs property for probability measures on finite Boolean algebras and prove that conditional versions imply strong forms of log-concavity. We give several applications of this fact, including improvements of some…

We show that finitely subgraded Lie algebras of compact operators have invariant subspaces when conditions of quasinilpotence are imposed on certain components of the subgrading. This allows us to obtain some useful information about the…

In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation. Furthermore, a…

We give a simple description of the classical moduli space of vacua for supersymmetric gauge theories with or without a superpotential. The key ingredient in our analysis is the observation that the lagrangian is invariant under the action…

We provide the first (non-labelled) sequent calculi for bimodal provability logics with "usual" provability predicates. In particular, we introduce calculi for the logics CS, CSM and ER. Additionally, we present non-wellfounded versions of…

We study compactness and L\"owenheim-Skolem properties of fragments of the class-sized logic $\mathcal{L}_{\infty \infty}$ and of class-sized versions of second-order and sort logics. In these fragments, certain combinations of infinitary…

In connection with each global field of positive characteristic we exhibit many examples of two-variable algebraic functions possessing properties consistent with a conjectural refinement of the Stark conjecture in the function field case…

Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics…

We study cohomology for classical Lie superalgebras $\mathfrak{g}$ (e.g. gl(m|n)) over the complex numbers. Using results from invariant theory, we show that there exist subsuperalgebras which detect the cohomology of $\mathfrak{g}.$…