AI Chat AI Image Generator AI Video Text to Speech

Some remarks regarding finite bounded commutative BCK-algebras

11/15/2019

∙

by Cristina Flaut, et al.

∙

∙

In this chapter, starting from some results obtained in the papers [FV; 19], [FHSV; 19], we provide some examples of finite bounded commutative BCK- algebras, using the Wajsberg algebra associated to a bounded commutative BCK- algebra. This method is an alternative to the Iseki's construction, since by Iseki's extension some properties of the obtained algebras are lost.

Cristina Flaut
4 publications
Sarka Hoskova-Mayerova
1 publication
Radu Vasile
2 publications

page 1

page 2

page 3

page 4

research

∙ 08/18/2018

Doubly F-Bounded Generics

In this paper we suggest how f-bounded generics in nominally-typed OOP c...

0 Moez A. AbdelGawad, et al. ∙

research

∙ 12/10/2021

Algebraic Properties of Subquasigroups and Construction of Cryptographically Suitable Finite Quasigroups

In this paper, we identify many important properties and develop criteri...

0 V. A. Artamonov, et al. ∙

research

∙ 01/04/2019

Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond

Ruitenburg's Theorem says that every endomorphism f of a finitely genera...

0 Silvio Ghilardi, et al. ∙

research

∙ 07/14/2022

2-Layer Graph Drawings with Bounded Pathwidth

We determine which properties of 2-layer drawings characterise bipartite...

0 David R. Wood, et al. ∙

research

∙ 01/09/2023

The Algebra of Nondeterministic Finite Automata

A process algebra is proposed, whose semantics maps a term to a nondeter...

0 Roberto Gorrieri, et al. ∙

research

∙ 10/19/2021

Comonadic semantics for hybrid logic and bounded fragments

In recent work, comonads and associated structures have been used to ana...

0 Samson Abramsky, et al. ∙

research

∙ 11/15/2017

Python Implementation and Construction of Finite Abelian Groups

Here we present a working framework to establish finite abelian groups i...

0 Paul Bradley, et al. ∙