相关论文: Deductive Nonmonotonic Inference Operations: Antit…

There have been many parallel streams of research studying order isomorphisms of some specific sets $G$ of functions from a set $X$ to $\mathbb{R}\cup\{\pm\infty\}$, such as the sets of convex or Lipschitz functions. We develop in this…

This paper introduces a new subtraction operation for convex sets, which defines their difference as a collection of inclusion-minimal convex sets with appropriate definitions of linear operations on them. With these operations the set of…

In the present paper a new concept of representability is introduced, which can be applied to not total and also to intransitive relations (semiorders in particular). This idea tries to represent the orderings in the simplest manner,…

Covering ill-posed problems with compact and non-compact operators regarding the degree of ill-posedness is a never ending story written by many authors in the inverse problems literature. This paper tries to add a new narrative and some…

This paper extends implication-space semantics to include first-order quantification. Implication-space semantics has recently been introduced as an inferentialist formal semantics that can capture nonmonotonic and nontransitive material…

In reductive proof search, proofs are naturally generalized by solutions, comprising all possibly infinite structures generated by locally correct, bottom-up application of inference rules. We propose an extension of the Curry-Howard…

With the help of a useful mathematical tool, the polar decomposition of closed operators, and a simple observation, i.e. the unique relation between tensor-product states and compact operators, we manage to give a compact and coherent…

We develop a semigroup approach to representation theory for pro-Lie groups satisfying suitable amenability conditions. As an application of our approach, we establish a one-to-one correspondence between equivalence classes of unitary…

Given a conjugation (involution) $C$ on a Hilbert space, $C$-self-adjoint contractive extensions of a non-densely defined $C$-symmetric contraction are studied and parameterizations of all such extensions are obtained. As an application, a…

The characteristic function of row contractions and liftings of row contractions are complete invariants up to unitary equivalence for row contractions and liftings of row contractions, respectively. We provide alternate proofs for these…

We establish complete characterizations of various notions of expansivity for weighted composition operators on a very general class of locally convex spaces of continuous functions. This class includes several classical classes of…

We provide a tool for studying properly discontinuous actions of non-compact groups on locally compact, connected and paracompact spaces, by embedding such an action in a suitable zero-dimensional compactification of the underlying space…

We undertake a systematic study of irreducible affine isometric actions of locally compact groups on Hilbert spaces. It turns out that, while that are a few parallels of this study to the by now classical theory of irreducible unitary…

We define the decomposition property for partial actions of discrete groups on $C^*$-algebras. Decomposable partial systems appear naturally in practice, and many commonly occurring partial actions can be decomposed into partial actions…

Given a unitary representation of a Lie group $G$ on a Hilbert space $\mathcal{H}$, we develop the theory of $G$-invariant self-adjoint extensions of symmetric operators both using von Neumann's theorem and the theory of quadratic forms. We…

We provide a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we…

We consider, and make precise, a certain extension of the Radon-Nikodym derivative operator, to functions which are additive, but not necessarily sigma-additive, on a subset of a given sigma-algebra. We give applications to probability…

We consider characterisations of unitary dilations and approximations of irreversible classical dynamical systems on a Hilbert space. In the commutative case, building on the work in [9], one can express well known approximants (e.g. Hille-…

One way of studying a relational structure is to investigate functions which are related to that structure and which leave certain aspects of the structure invariant. Examples are the automorphism group, the self-embedding monoid, the…

We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…