Related papers: Hybrid logic for strict betweenness
Intersection types are an essential tool in the analysis of operational and denotational properties of lambda-terms and functional programs. Among them, non-idempotent intersection types provide precise quantitative information about the…
We investigate the deformations and rigidity of boundary Heisenberg-like algebras. In particular, we focus on the Heisenberg and $\text{Heisenberg}\oplus\mathfrak{witt}$ algebras which arise as symmetry algebras in three-dimensional gravity…
We establish new exponential in dimension lower bounds for the Maximum Halfspace Discrepancy problem, which models linear classification. Both are fundamental problems in computational geometry and machine learning in their exact and…
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces…
Hybrid topologies on the real line have been studied by various authors. Among the hybrid spaces, there are also Hattori spaces. However, some of the hybrid spaces are not homeomorphic to Hattori spaces. In this article, a common…
This article investigates the properties of Dedekind superrings, invertible supermodules and projective supermodules within the $\mathbb{Z}_2$-graded framework. Rather than treating these entities as specialized instances of general…
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic…
In this work we propose and analyze a novel Hybrid High-Order discretization of a class of (linear and) nonlinear elasticity models in the small deformation regime which are of common use in solid mechanics. The proposed method is valid in…
We present an adjoint sensitivity method for hybrid discrete -- continuous systems, extending previously published forward sensitivity methods. We treat ordinary differential equations and differential-algebraic equations of index up to two…
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of…
We consider the bimodal language, where the first modality is interpreted by a binary relation in the standard way, and the second is interpreted by the relation of inequality. It follows from Hughes (1990), that in this language,…
Many deep, mysterious connections have been observed between collections of mutually unbiased bases (MUBs) and combinatorial designs called $k$-nets (and in particular, between complete collections of MUBs and finite affine - or…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
In this paper we introduce the notion of hybrid trigonometric parametrization as a tuple of real rational expressions involving circular and hyperbolic trigonometric functions as well as monomials, with the restriction that variables in…
The notion of a Hom-Leibniz bialgebra is introduced and it is shown that matched pairs of Hom-Leibniz algebras, Manin triples of Hom-Leibniz algebras and Hom-Leibniz bialgebras are equivalent in a certain sense. The notion of Hom-Leibniz…
We obtain a general concept of triplet of Hilbert spaces with closed (unbounded) embeddings instead of continuous (bounded) ones. The construction starts with a positive selfadjoint operator $H$, that is called the Hamiltonian of the…
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion.…
For the super AKNS system, an implicit symmetry constraint between the potentials and the eigenfunctions is proposed. After introducing some new variables to explicitly express potentials, the super AKNS system is decomposed into two…
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…
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal…