English
Related papers

Related papers: Boolean proportions

200 papers

In this paper we present the set of intervals as a normed vector space. We define also a four-dimensional associative algebra whose product gives the product of intervals in any cases. This approach allows to give a notion of divisibility…

Numerical Analysis · Computer Science 2009-10-22 Nicolas Goze , Elisabeth Remm

Analogical proportions are statements expressed in the form "A is to B as C is to D" and are used for several reasoning and classification tasks in artificial intelligence and natural language processing (NLP). In this paper, we focus on…

Computation and Language · Computer Science 2021-08-10 Safa Alsaidi , Amandine Decker , Puthineath Lay , Esteban Marquer , Pierre-Alexandre Murena , Miguel Couceiro

An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…

Statistical Mechanics · Physics 2020-10-20 Aziz El Kaabouchi , Laurent Nivanen , Qiuping A. Wang , Jean-Pierre Badiali , Alain Le Méhauté

We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction rather than the language and its semantics. The notion of…

Logic in Computer Science · Computer Science 2026-01-06 Robert Furber , Radu Mardare , Prakash Panangaden , Dana Scott

A generalization of the quotient integral formula is presented and some of its properties are investigated. Also the relations between two function spaces related to the spacial homogeneous spaces are derived by using general quotient…

Representation Theory · Mathematics 2017-02-22 T. Derikvand , R. A. Kamyabi-Gol , M. Janfada

We are going to introduce a new algebraic, analytic structure that is a kind of generalization of the Hausdorff dimension and measure. We give many examples and study the basic properties and relations of such systems.

Classical Analysis and ODEs · Mathematics 2019-06-18 Attila Losonczi

Algebraic hyperstructures represent a natural extension of classical algebraic structures. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two…

Mathematical Physics · Physics 2012-09-12 Akbar Dehghan Nezhad , Mehdi Nadjafikhah , Seyed Mohammad Moosavi Nejad

We study some examples when there is actually an equality in the linear algebra bound. When the vectors considered span in fact the entire space. We would like to point out that in some cases this provides some interesting extra information…

Combinatorics · Mathematics 2025-08-14 Gábor Hegedüs , Lajos Rónyai

The combination of argumentation and probability paves the way to new accounts of qualitative and quantitative uncertainty, thereby offering new theoretical and applicative opportunities. Due to a variety of interests, probabilistic…

Artificial Intelligence · Computer Science 2018-03-12 Regis Riveret , Pietro Baroni , Yang Gao , Guido Governatori , Antonino Rotolo , Giovanni Sartor

This article describes an entirely algebraic construction for developing conformal geometries, which provide models for, among others, the Euclidean, spherical and hyperbolic geometries. On one hand, their relationship is usually shown…

Metric Geometry · Mathematics 2018-07-13 Máté Lehel Juhász

A formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated algebraic structures have been studied extensively,…

Logic · Mathematics 2025-01-14 Prosenjit Howlader , Churn-Jung Liau

Information algebras arise from the idea that information comes in pieces which can be aggregated or combined into new pieces, that information refers to questions and that from any piece of information, the part relevant to a given…

Information Theory · Computer Science 2021-01-01 Juerg Kohlas , Juerg Schmid

This paper examines the concept of gluing, placing it within its most general categorical context and tracing its foundational role in the broader architecture of algebraic geometry.

Algebraic Geometry · Mathematics 2025-05-06 Sophie Marques , Damas Mgani

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

In universal algebraic geometry, an algebra is called an equational domain if the union of two algebraic sets is algebraic. We characterize equational domains, with respect to polynomial equations, inside congruence permutable varieties,…

Rings and Algebras · Mathematics 2024-07-08 Erhard Aichinger , Mike Behrisch , Bernardo Rossi

We show how classical and quantum dualities, as well as duality relations that appear only in a sector of certain theories ("emergent dualities"), can be unveiled, and systematically established. Our method relies on the use of morphisms of…

Statistical Mechanics · Physics 2013-01-16 E. Cobanera , G. Ortiz , Z. Nussinov

We characterize the canonical algebras such that for all dimension vectors of homogeneous modules the corresponding module varieties are complete intersections (respectively, normal). We also investigate the sets of common zeros of…

Representation Theory · Mathematics 2007-11-07 Grzegorz Bobinski

In this paper we consider systems which consist of binary components with known reliabilities. We discuss their algebraic properties and define the corresponding algebraic structure, which we call the reliability algebra. We prove that the…

Logic in Computer Science · Computer Science 2023-07-28 Branislav Boričić , Mirjana Ilić , Jelena Stanojević

A new $q$-analogue of Appell polynomial sequences and their generalizations are introduced and their main characterizations are proved. As consequences new $q$-analogue of Bernoulli and Euler polynomials and numbers is introduced, their…

Classical Analysis and ODEs · Mathematics 2018-01-29 P. Njionou Sadjang

We introduce the normal produoidal category of monoidal contexts over an arbitrary monoidal category. In the same sense that a monoidal morphism represents a process, a monoidal context represents an incomplete process: a piece of a…

Logic in Computer Science · Computer Science 2023-01-30 Matt Earnshaw , James Hefford , Mario Román