Bckalgebras provide algebraic semantics for bcklogic, named after the combinators b, c, and k by c. Bckbcialgebras are algebraic structures, introduced by k. It is known that every weak bck algebra is completely determined by the. Ideal theory of bckbcialgebras based on doubleframed soft sets. In this paper, we apply the rough set theory to pseudobckalgebra, and introduce the notions of rough pseudobckalgebras, rough subalgebras and rough pseudo. A bckalgebra which verify one of the above equivalent conditions is called. Algebraic structures derived from bckalgebras miskolc. We demonstrate the elegance of this method for two classes of pseudo bck semilattices. They introduced the concept of associative graph of a bckbcialgebra and provided several examples. In the paper, entitled, fuzzy filter spectrum of a bck algebra, x.
Here, if is an ideal in a bck algebra, one can define a congruence relation in by if and only if and. Bckalgebra is commutative, with the relative cancellation property, lower semi lattice and also its with condition s but its not positive implicative in some cases. A bckalgebra g is said to be bounded if there exists an elements 1. The representation theory of various algebraic structures has been extensively studied. Bci1 0xy xz z y, a x0 yx bci4 x y 0and yx 0 imply x y, in combinatory logic, there are various combinators. Maximal, irreducible and prime soft ideals of bckbcialgebra. Implicative ideals are important because in a bounded commutative bckalgebra they are precisely the ideals for which the quotient bck algebras are boolean algebras. New algebras1 afrodita iorgulescu department of computer science, academy of economic studies. The corresponding representation theory for bckalgebras remains to be. Ideal theory of bckbci algebras based on doubleframed soft sets young bae jun1, g. Pdf primeness of relative annihilators in bckalgebra.
Some remarks on bck algebras this is an abstract of the paper presented at the seminar held by prof. The class of weak bckalgebras is obtained by weakening one of standard bck axioms. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. By a hyper bckalgebra we mean a nonempty set h endowed with a hyperoperation and a constant 0 satis es the following. This makes into an abelian group with as the identity. Yoshinari arai, kiyoshi iseki, shotaro tanaka, characterizations of bci, bckalgebras. The bck operation is an analogue of the settheoretical difference. The subsets of a set form a bckalgebra, where ab is the difference a\b the elements in a but not in b, and 0 is the empty set. Implicative ideals are important because in a bounded commutative bck algebra they are precisely the ideals for which the quotient bck algebras are boolean algebras. It then follows that one can define an operation on by, and. Iseki defined bckalgebras in the article 2 entitled on axiom system of propositional calculi xiv.
Department of algebra and geometry faculty of science palack. An attempt to treat unitarily the algebras of logic. To download the pdf, click the download link below. Alternatively, you can also download the pdf file directly to your computer, from where it can be opened using a pdf reader. Most of the commutative algebras of logic such as residuated lattices, boolean algebras, mvalgebras, be. We show that the associative graph of a bckalgebra is a connected graph in which every nonzero vertex is adjacent to 0, but the associative graph of a bcialgebra is not connected by providing an example. They introduced the concept of fuzzy s prime filters and discussed some related properties.
A remark on the ideals of bckalgebras and lattices 1. We refer the reader for useful textbooks for bckbcialgebra to. Pseudo bck algebras as partial algebras thomas vetterlein institute for medical expert and knowledgebased systems medical university of vienna spitalgasse 23, 1090 wien, austria thomas. The triple is called a neutrosophic bci bck algebra. In the paper, we define the notion of a state bck algebra and a statemorphism bck algebra extending the language of bck algebras by adding a unary operator which models probabilistic reasoning. As a matter of fact, bckalgebras are the equivalent algebraic semantics for the logic bck, but bci is not algebraizable in the sense of 1. To be able to associate a partial algebra to a pseudobck semilattice, we need a second condition. Alroqi3 1 department of mathematics education and rins, gyeongsang national university, chinju 660701, korea 2 department of mathematics, university of tabuk, p. The subsequent construction applied to the partial algebra is easy, transparent, and leads directly to the structure needed for representation. We introduce and study the ordinal sum product of two bounded bck algebras. Then we show that this bckalgebra is commutative, lower semi lattice, also its with conditionsandrelativecancellationpropertybutitsnotpositiveimplicative in some cases. Iseki in 6 in order to give an algebraic framework. Prince williams 3 1department of mathematics education, gyeongsang.
Hacettepejournalofmathematicsandstatistics volume4412015,1 maximal, irreducible and prime soft ideals of bckbcialgebra u. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks. The algebra is a bck algebra if and only if, and is semisimple if and only if. Also we give two examples for this bckalgebra and introduce a bckalgebra on fuzzy set, and we show that this bckalgebra is bounded, commutative and also it is a lattice but. In the present paper, we introduce the concept of neutrosophic bci bck algebras. Each unit culminates in a project that utilizes mastery of conceptual understanding taught in the individual lessons.
Here, if is an ideal in a bckalgebra, one can define a congruence relation in by if and only if and. Hundreds of papers were written on bck and bci algebras. In part ii, we continue to present new properties, and consequently new algebras. Pdf in this paper, we introduce the notions of a node and nodal ideals of bck algebras. Kiyoshi iseki, an algebra related with a propositional calculus. The pdf file you selected should load here if your web browser has a pdf reader plugin installed for example, a recent version of adobe acrobat reader. Boolean skeleton and pierce representation of bounded bckalgebras joan gispert. This article is within the scope of wikiproject mathematics, a collaborative effort to improve the coverage of mathematics on wikipedia.
Let be any bci bck algebra and let be a set generated by and. Bck algebras provide algebraic semantics for bck logic, named after the combinators b, c, and k by c. A bcialgebra which is not a bckalgebra will be called proper. Unlike the larger class of pseudobck algebras, the class ofpseudobck semi lattices is a variety. Traczyk showed that any commutative bck algebra such that any two elements have an upper bound is a distributive lattice. The application of rough set theory in pseudobckalgebra. The aim of this paper is to introduce the notions of lower and up per approximation of a subset of a hyper bckalgebra with respect to a hyper bckideal. We present a relation between state operators and statemorphism operators and measures and states on bck algebras, respectively. In section 5 we define the notions of bckalgebras of fractions and maximal bckalgebra of quotients for a commutative bounded bckalgebra.
Find support for a specific problem on the support section of our website. Closed ideal with respect a binary operation on bckalgebra. Request pdf on jan 1, 2003, young bae jun and others published roughness of ideals in bckalgebras find, read and cite all the research you need on researchgate. In the latter case, satisfies the identity for all and. Elementary properties of neutrosophic bci bck algebras are presented.
Bck algebra, in mathematics, bck or bci algebras are algebraic structures brake composite corridor coach, a type of british rail coach designations buckley railway station, a railway station in the uk. Assuming divisibility, we can pass on to partial algebras also in this case. Tanaka in 1966, that describe fragments of the propositional calculus involving implication known as bci and bck. Up to mathematical content the notion of bckalgebra with the condition s is the same as the notion of bckalgebra with the operation s as it is clearly seen from following. Bck algebra, negative implicative bck algebra, positive implicative bck algebra, binary operation 1 introduction. We prove that every bosbach state on a pseudobck algebra is a rie. It is known that the class of bckalgebras is a proper subclass of the class of bcialgebras. Today bck algebras have been studied by many authors and they have been applied to many branches of mathematics, such as group theory, functional analysis, probability theory, topology, fuzzy set theory, and so on. Preliminaries an algebra x,0 of type 2,0 is called a bcialgebra if it satis. In this paper, we consider subreducts of residuated lattices, the monoidal and the meet operation being dropped. Note that in a positive implicative bck algebra, every ideal is implicative. New algebras1 afrodita iorgulescu department of computer science, academy of economic studies piat.
In mathematics, bci and bck algebras are algebraic structures, introduced by y. An axiomatization by equations can be found in 32, section 1. Kiyoshi iseki, algebraic formulation of propositional calculi with general detachment rule angell, r. Pseudobck algebras as partial algebras sciencedirect. A bckalgebra g is said to be commutative if it satis. The class of weak bck algebras is obtained by weakening one of standard bck axioms. For elements x and y of a bckalgebra g, we denote 1. Conversely, every abelian group can be given a bci algebra structure by.
Primeness of relative annihilators in b c k algebra. The bounded commutative bckalgebras are precisely the mvalgebras. The localization of commutative bounded bckalgebras. Today, bckbcialgebras have been extensively studied by several researchers and they have been. Pdf in this paper, the notions of derived subalgebras and solvable bck algebras are introduced and some properties are given. In section 4 we develop a theory for multipliers on a commutative bounded bckalgebra.
Coupled structures and its application in bckbci algebras. Note that in a positive implicative bckalgebra, every ideal is implicative. In the first part of this paper we assign to an arbitrary. We try to extend some results from the case of commutative hilbert algebras see 1 to the case of commutative bck alge bras. On the structure of linear pseudobckalgebras jan kuhr. On complete normality of mpf subalgebras in bck bcialgebras.
1507 1385 580 1493 27 1150 1392 57 1019 636 1120 570 960 1384 1202 148 203 1399 1115 1029 1157 336 371 61 1167 1463 997 169