Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.
Bell-type inequalities for parametric families of triangular norms
In recent work we have shown that the reformulation of the classical Bell inequalities into the context of fuzzy probability calculus leads to related inequalities on the commutative conjunctor used for modelling pointwise fuzzy set intersection. Also, an important role has been attributed to commutative quasi-copulas. In this paper, we consider these new Bell-type inequalities for continuous t-norms. Our contribution is twofold: first, we prove that ordinal sums preserve these Bell-type inequalities;...
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.
Bemerkungen über minimale Modelle.
Bernoulli convolutions-an application of set theory in analysis
Beta-reduction as unification
We define a new unification problem, which we call β-unification and which can be used to characterize the β-strong normalization of terms in the λ-calculus. We prove the undecidability of β-unification, its connection with the system of intersection types, and several of its basic properties.
Between logic and probability.
Logic and Probability, as theories, have been developed quite independently and, with a few exceptions (like Boole's), have largely ignored each other. And nevertheless they share a lot of similarities, as well a considerable common ground. The exploration of the shared concepts and their mathematical treatment and unification is here attempted following the lead of illustrious researchers (Reichenbach, Carnap, Popper, Gaifman, Scott & Krauss, Fenstad, Miller, David Lewis, Stalnaker, Hintikka...
Between Martin's Axiom and Souslin's Hypothesis
Between Tw→ and Rw→
Beweistheoretische Abgrenzung von Teilsystemen der Analysis.
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
Beweistheorie von KPN.
Beyond Lebesgue and Baire II: Bitopology and measure-category duality
We re-examine measure-category duality by a bitopological approach, using both the Euclidean and the density topologies of the line. We give a topological result (on convergence of homeomorphisms to the identity) obtaining as a corollary results on infinitary combinatorics due to Kestelman and to Borwein and Ditor. We hence give a unified proof of the measure and category cases of the Uniform Convergence Theorem for slowly varying functions. We also extend results on very slowly varying functions...
bi-BL-algebra
In this paper, we introduce the notion of a bi-BL-algebra, bi-filter, bi-deductive system and bi-Boolean elements of a bi-BL-algebra and deal with bi-filters in bi-BL-algebra. We study this structure and construct the quotient of bi-BL-algebra. Also present a classification for examples of proper bi-BL-algebras.
Bibliographie commentée
Bidual Spaces and Reflexivity of Real Normed Spaces
In this article, we considered bidual spaces and reflexivity of real normed spaces. At first we proved some corollaries applying Hahn-Banach theorem and showed related theorems. In the second section, we proved the norm of dual spaces and defined the natural mapping, from real normed spaces to bidual spaces. We also proved some properties of this mapping. Next, we defined real normed space of R, real number spaces as real normed spaces and proved related theorems. We can regard linear functionals...
Biequivalence vector spaces in the alternative set theory
As a counterpart to classical topological vector spaces in the alternative set theory, biequivalence vector spaces (over the field of all rational numbers) are introduced and their basic properties are listed. A methodological consequence opening a new view towards the relationship between the algebraic and topological dual is quoted. The existence of various types of valuations on a biequivalence vector space inducing its biequivalence is proved. Normability is characterized in terms of total...
Biequivalences and topology in the alternative set theory
Binarity for -categorial weakly o-minimal theories of convexity rank 1.
Binary and ternary relations
Two operators are constructed which make it possible to transform ternary relations into binary relations defined on binary relations and vice versa. A possible graphical representation of ternary relations is described.