Search Results

You are looking at 1 - 10 of 5,451 items for :

Clear All
Open access

Artur Korniłowicz, Ievgen Ivanov and Mykola Nikitchenko

–331, 2015. doi:10.1515/forma-2015-0026. [15] Ievgen Ivanov, Mykola Nikitchenko, and Volodymyr G. Skobelev. Proving properties of programs on hierarchical nominative data. The Computer Science Journal of Moldova , 24(3):371–398, 2016. [16] J. A. Kalman. Lattices with involution. Transactions of the American Mathematical Society , 87(2):485–485, February 1958. doi:10.1090/s0002-9947-1958-0095135-x. [17] S.C. Kleene. Introduction to Metamathematics . North-Holland Publishing Co., Amsterdam, and P. Noordhoff, Groningen, 1952. [18] S. Körner

Open access

Peter Johnstone

Abstract

We study the notion of modified realizability topos over an arbitrary Schönfinkel algebra. In particular we show that such toposes are induced by subsets of the algebra which we call right pseudo-ideals, and which generalize the right ideals (or right absorbing sets) previously considered. We also investigate the notion of compatibility with right pseudo-ideals which ensures that quasi-surjective (applicative) morphisms of Schönfinkel algebras yield geometric morphisms between these toposes.

Open access

Aiyared Iampan

Abstract

In this paper, we introduce some new classes of algebras related to UP-algebras and semigroups, called a left UP-semigroup, a right UP-semigroup, a fully UP-semigroup, a left-left UP-semigroup, a right-left UP-semigroup, a left-right UP-semigroup, a right-right UP-semigroup, a fully-left UP-semigroup, a fully-right UP-semigroup, a left-fully UP-semigroup, a right-fully UP-semigroup, a fully-fully UP-semigroup, and find their examples.

Open access

M. Murali Krishna Rao and K.R. Kumar

Uni- versity of Szeged (1965) 93-96. [5] H. Lehmer, A ternary analogue of abelian groups, Amer. J. Math. 59 (1932) 329-338. doi: 10.2307/2370997 [6] W.G. Lister, Ternary rings, Trans. Amer. Math. Soc. 154 (1971) 37-55. doi: 10.2307/1995425 [7] M. Murali Krishna Rao, Γ-semirings-I, Southeast Asian Bulletin of Mathematics 19 (1995) 49-54. [8] M. Murali Krishna Rao, Γ-semirings-II, Southeast Asian Bulletin of Mathematics 21 (1997) 281-287. [9] M. Murali Krishna Rao, The Jacobson radical of

Open access

Akbar Paad

R eferences [1] C.C. Chang, Algebraic analysis of many valued logics , Trans. Amer. Math. Soc. 88 (1958) 467–490. doi:10.1090/S0002-9947-1958-0094302-9 [2] A. Di Nola, G. Georgescu and A. Iorgulescu, Pseduo BL-algebras Part I , Mult. Val. Logic, 8 (2002) 673–714. [3] A. Di Nola and L. Leustean, Compact representations of BL-algebras , Department of Computer Science, University Aarhus. BRICS Report Series, (2002). [4] M. Haveshki and E. Eslami, n-Fold filters in BL-algebras , Math. Log. Quart. 54 (2008) 178–186. [5] S

Open access

Paraskevas Alvanos

Open access

Helen Trenos

Open access

Aiyared Iampan

–57. [15] A. Satirad, P. Mosrijai and A. Iampan, Generalized power UP-algebras , Int. J. Math. Comput. Sci. 14 (2019) 17–25.

Open access

Jianming Zhan and B. Davvaz

generalisation de la notion de groupe, huitieme congres des mathematiciens scandinaves, Stockholm, 1934, 45-59. 25. Molodtsov, D. - Soft set theory-first results, Global optimization, control, and games, III. Comput. Math. Appl., 37 (1999), 19-31. 26. Vougiouklis, T. - Hyperstructures and Their Representations, Hadronic Press Monographs in Mathematics. Hadronic Press, Inc., Palm Harbor, FL, 1994. 27. Yamak, S.; Kazanci, O.; Davvaz, B. - Soft hyperstructure, Comput. Math. Appl, 62 (2011), 797-803. 28. Zhan, J.; Davvaz, B.; Shum, K.P. - A new view of fuzzy