Semi-BCI Algebras

03/13/2018
by   Regivan H. N. Santiago, et al.
0

The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the "intervalization" of BCI algebras. Semi-BCI have a similar structure to Pseudo-BCI algebras however they are not the same. In this paper we also provide an investigation on the similarity between these classes of algebras by showing how they relate to the process of intervalization.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/14/2021

Imperative process algebra with abstraction

This paper introduces an imperative process algebra based on ACP (Algebr...
research
09/13/2022

Semi-strict chordality of digraphs

Chordal graphs are important in algorithmic graph theory. Chordal digrap...
research
12/27/2022

Further Results on the Bivariate Semi-parametric Singular Family of Distributions

General classes of bivariate distributions are well studied in literatur...
research
05/24/2019

Revisiting Relations between Stochastic Ageing and Dependence for Exchangeable Lifetimes with an Extension for the IFRA/DFRA Property

We first review an approach that had been developed in the past years to...
research
05/29/2018

Classical realizability as a classifier for nondeterminism

We show how the language of Krivine's classical realizability may be use...
research
01/16/2023

A semi-abelian approach to directed homology

We develop a homology theory for directed spaces, based on the semi-abel...
research
06/29/2022

Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties

This report presents an algorithm for determining the unknown rates in t...

Please sign up or login with your details

Forgot password? Click here to reset