𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Negation and BCK-algebras

✍ Scribed by Francisco M. García Olmedo; Antonio J. Rodríguez Salas

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
141 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

In this paper we consider twelve classical laws of negation and study their relations in the context of BCK‐algebras. A classification of the laws of negation is established and some characterizations are obtained. For example, using the concept of translation we obtain some characterizations of Hilbert algebras and commutative BCK‐algebras with minimum. As a consequence we obtain a theorem relating those algebras to Boolean algebras.

📜 SIMILAR VOLUMES

Bounded BCK-algebras and their generated
Bounded BCK-algebras and their generated variety
✍ Joan Gispert; Antoni Torrens 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 170 KB

## Abstract In this paper we prove that the equational class generated by bounded BCK‐algebras is the variety generated by the class of finite simple bounded BCK‐algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK‐algebras is also a

Distinguishing standard SBL-algebras wit
Distinguishing standard SBL-algebras with involutive negations by propositional formulas
✍ Zuzana Haniková; Petr Savický 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 201 KB

## Abstract Propositional fuzzy logics given by a combination of a continuous SBL t‐norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t‐norms which, in combination with different involutive negations, yield either isomorphic algebra

Implikative BCK-Algebren
Implikative BCK-Algebren
✍ Klaus Denecke 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 498 KB

## IMPLIKATIVE BCK-ALGEBREN von KLAUS DENECKE in Thale (DDR)') ## 1. Einleitung Ini Jahre 1966 fuhrten Y. IMAI und K. ISEKI eine neue Klasse von Algebren ein, die sie BCK-Algebren nannten ([Z]). Dieser Begriff ist in zwei verschiedenen mathematischen Disziplinen entstanden, der Mengentheorie und

cover
Negation Force
✍ James, Anthony 📂 Fiction 📅 2018 🌐 English ⚖ 143 KB