Relatively compatible operations in BCK-algebras and some related algebras

, &
Logic Journal of the IGPL 25 (3):348-364 (2017)
  Copy   BIBTEX

Abstract

Let |$\textbf{A}$| be a |$BCK$|-algebra and |$f:A^{k}\rightarrow A$| a function. The main goal of this article is to give a necessary and sufficient condition for |$f$| to be compatible with respect to every relative congruence of |$\textbf{A}$|⁠. We extend this result in some related algebras, as e.g. in pocrims.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzx002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Qb And Normal Algebras.Bronislaw Tembrowski - 1985 - Bulletin of the Section of Logic 14 (1):41-45.
On Some Compatible Operations on Heyting Algebras.Rodolfo Cristian Ertola Biraben & Hernán Javier San Martín - 2011 - Studia Logica 98 (3):331-345.
On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic.Andrzej Wronski - 1986 - Bulletin of the Section of Logic 15 (2):48-51.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
Noncummulative cylindric algebras and relativizations of cylindric algebras.Richard Thompson - 1988 - Bulletin of the Section of Logic 17 (2):75-81.
Weakly associative relation algebras with polyadic composition operations.Vera Stebletsova - 2000 - Studia Logica 66 (2):297-323.
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
The logic of Peirce algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
On the definability of join by means of polynomials in implicative algebras.Antoni Torrens - 1985 - Bulletin of the Section of Logic 14 (4):158-162.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
-}$bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.

Analytics

Added to PP
2017-04-07

Downloads
15 (#923,100)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
An Algebraic Approach to Intuitionistic Connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.

View all 12 references / Add more references