相关论文: Principles Weaker than BD-N
We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions…
The main results of the paper: {\bf (1)} The dual Banach space $X^*$ contains a linear subspace $A\subset X^*$ such that the set $A^{(1)}$ of all limits of weak$^*$ convergent bounded nets in $A$ is a proper norm-dense subset of $X^*$ if…
Almost two decades ago, Wattenberg published a paper with the title 'Nonstandard Analysis and Constructivism?' in which he speculates on a possible connection between Nonstandard Analysis and constructive mathematics. We study Wattenberg's…
In this work we revisit the important and controversial concept of quantum weak values, aiming to provide a simplified understanding to its associated physics and the origin of anomaly. Taking the Stern-Gerlach setup as a working system, we…
We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain-Antichain Principle (CAC). Using this method, we are able to prove several new separations in the presence of Weak Konig's…
We give a positive answer to the question of K. Bouras [`Almost Dunford-Pettis sets in Banach lattices', \textit{Rend. Circ. Mat. Palermo (2)} \textbf{ 62} (2013), 227--236] concerning weak compactness of almost Dunford-Pettis sets in…
A class of nets in constructive (in A.A.Markov's sense) topological space for which the convergence is equivalent to convergence of all subsequences, is described. B.A.Kushner's theorem about coincidence of strong and weak constructive…
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…
Rare $B$, $D$ and $K$ decays provide interesting probes of the Standard Model (SM), with a potential sensitivity to New Physics (NP) higher than other, more common, decays. Their experimental measurement is challenging, and their…
It is shown that a separable Banach space $X$ can be given an equivalent norm $|\!|\!|\cdot |\!|\!|$ with the following properties:\quad If $(x_n)\subseteq X$ is relatively weakly compact and $\lim_{m\to\infty} \lim_{n\to\infty}\break…
We present ABA+, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference information given over assumptions is incorporated directly into the…
In this paper, our main purpose is to establish a weak factorization of the classical Hardy spaces in terms of a multilinear Calder\'on-Zygmund operator on the ball Banach function spaces. Furthermore, a new characterization of the BMO…
We study the weakest convergence-type conditions for fixed point results for Banach and Kannan mappings. Building on Suzuki's weakest condition for Banach mappings and our previous result for Kannan mappings, we compare convergence…
Language is not only used to transmit neutral information; we often seek to persuade by arguing in favor of a particular view. Persuasion raises a number of challenges for classical accounts of belief updating, as information cannot be…
We propose a belief-formation model where agents attempt to discriminate between two theories, and where the asymmetry in strength between confirming and disconfirming evidence tilts beliefs in favor of theories that generate strong (and…
The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental…
A cardinal is weakly Reinhardt if it is the critical point of an elementary embedding from the universe of sets into a model that contains the double powerset of every ordinal. This note establishes the equiconsistency of a proper class of…
In this paper, we study the existence of the random approximations and fixed points for random almost lower semicontinuous operators defined on finite dimensional Banach spaces, which in addition, are condensing or 1-set-contractive. Our…
In this note the following version of Phillips' lemma is proved. The L-projection of an L-embedded space - that is of a Banach space which is complemented in its bidual such that the norm between the two complementary subspaces is additive…
Despite theoretical promise, debate as a scalable oversight protocol has produced mixed empirical results: gains in some settings, and null effects in others, especially when the judge does not have information hidden from it. We study…