Related papers: The Structure of Submodular Separation Systems
An invariant theoretic characterization of subdiscriminants of matrices is given. The structure as a module over the special orthogonal group of the minimal degree non-zero homogeneous component of the vanishing ideal of the variety of real…
This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic…
We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is…
We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be…
On classes of functions defined on R^2n we introduce abstract composition laws modelled after the pseudodifferential product of symbols. We attach to these composition laws modulation mappings and spaces with useful algebraic and…
A mixed lattice is a partially ordered set with two mixed partial orderings that are linked by asymmetric upper and lower envelopes. These notions generalize the join and meet operations of a lattice. In the present paper, we study…
The constraints on the models for the structure formation arising from various cosmological observations at different length scales are reviewed. The status of different models for structure formation is examined critically in the light of…
New aspects of a relation between lattice and dislocation structures are examined within a physically transparent theoretical scheme. Predicted features originating from the lattice discreteness include: (i) multiple core dislocation…
Part B (of a project involving four Parts) is about "bases of lines", a concept introduced by C. Herrmann and the author in the late 80's. Bases of lines attempt to describe a given modular lattice in a geometric way akin to how projective…
We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices…
For two subsets S and T of a given lattice L, we define a relative distributive (modular) property over L, that underlies a large family including the usual class of distributive (modular) lattices. Our proposed class will be called…
Basic issues of the general model-building framework of the mechanics of complex bodies are discussed. Attention is focused on the representation of the material elements, the conditions for the existence of ground states in conservative…
The existence and bifurcation of homoclinic orbits in planar piecewise linear homogeneous systems with two regions separated by a discontinuity boundary are investigated in this paper. In addition, existence of periodic orbits and stability…
Interconnected dynamic systems are a pervasive component of our modern infrastructures. The complexity of such systems can be staggering, which motivates simplified representations for their manipulation and analysis. This work introduces…
Building on the recent work of Mushaandja and Olela-Otafudu~\cite{MushaandjaOlela2025} on modular metric topologies, this paper investigates extended structural properties of modular (pseudo)metric spaces. We provide necessary and…
For a many-to-many matching market, we study the lattice structure of the set of random stable matchings. We define a partial order on the random stable set and present two intuitive binary operations to compute the least upper bound and…
We give a systematic treatment to the concept of hypoellipticity, putting it into an abstract form which allows us to deal with several different notions within the same framework. We then investigate when a notion of hypoellipticity…
In this paper we study the lattice of restricted subalgebras of a restricted Lie algebra. In particular, we consider those algebras in which this lattice is dually atomistic, lower or upper semimodular, or in which every restricted…
A number of mechanisms that lead to the confinement of patterns to a small part of a translationally symmetric pattern-forming system are reviewed: nonadiabatic locking of fronts, global coupling and conservation laws, dispersion, and…
We give a structural description of the normal subgroups of subgroups of finite index in branch groups in terms of rigid stabilizers. This gives further insight into the structure lattices of branch groups introduced by the second author.…