Search Results

You are looking at 1 - 10 of 2,395 items for :

Clear All
Open access

Adam Grabowski and Damian Sawicki

References [1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning , 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6. [2] Garrett Birkhoff. Lattice Theory . Providence, Rhode Island, New York, 1967. [3] B. I. Dahn. Robbins algebras are Boolean: A revision of McCune’s computer-generated solution of Robbins problem. Journal of Algebra , 208:526–532, 1998

Open access

Lemnaouar Zedam, Mourad Yettou and Abdelaziz Amroune

R eferences [1] M. Ashraf, S. Ali and C. Haetinger, On derivations in rings and their applications , Aligarh Bull. Math. 25 (2006) 79–107. [2] G. Birkhoff, Lattice Theory , 3rd edition, Amer. Math. Soc. (Providence, RI, 1967). [3] Y. Çeven and M. Öztürk, On f-derivations of lattices , Bull. Korean Math. Soc. 45 (2008) 701–707. [4] B.A. Davey and H.A. Priestley, Introduction to Lattices and Order, 2nd edition (Cambridge University Press, 2002). [5] L. Ferrari, On derivations of lattices , Pure Math. and Appl. 12 (2001) 365

Open access

Štěpán Křehlík and Michal Novák

their graphical representations, Math. Comp. Sci. Dep. the Citadel. Charleston, South Carolina, 29409, July 1986. [5] P. Corsini, Prolegomena of Hypergroup Theory, Aviani Editore, Tricesimo, 1993. [6] P. Corsini, V. Leoreanu, Applications of Hyperstructure Theory, Kluwer Academic Publishers, Dodrecht - Boston - London, 2003. [7] I. Cristea, Several aspects on the hypergroups associated with n-ary relations, An. Şt. Univ. Ovidius Constanta, 17(3) (2009), 99-110. [8] B. Davvaz, V. Leoreanu

Restricted access

The Economy of Bulgaria

Structural Funds, Growth And Cyclical Recurrence

Ivan Todorov, Kalina Durova and Aleksandar Aleksandrov

Open access

Ivan Chajda and Helmut Länger

Mathematics and Theoretical Computer Science (Longman, Harlow, 1992). ISBN 0-582-07855-5. [9] P. Jipsen, From semirings to residuated Kleene lattices , Studia Logica 76 (2004) 291–303. doi:10.1023/B:STUD.0000032089.54776.63 [10] J. Pavelka, On fuzzy logic , II Enriched residuated lattices and semantics of propositional calculi , Z. Math. Logik Grundlag. Math. 25 (1979) 119–134. doi:10.1002/malq.19790250706 [11] C. Tsinakis and A.M. Wille, Minimal varieties of involutive residuated lattices , Studia Logica 83 (2006) 407–423. doi:10.1007/s11225

Open access

Ali Soleimani Nasab and Arsham Borumand Saeid

. [9] Figallo A. V., Ram_on G. Z., Saad S., A note on the Hilbert algebras with in_mum, Math. Contemp. 24(2003), 23-37. [10] Gluschankof D., Tilli M., Maximal deductive systems and injective objects in the category of Hilbert algebras, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34, No.3 (1988), 213-220. [11] Hong S. M., Jun Y. B., On deductive systems of Hilbert algebras, Comm. Korean Math. Soc. 11:3(1996), 595-600. [12] Köhler P., Brouwerian semilattices. Trans. Amer. Math. Soc. Vol.268

Open access

Feng Qi and Bai-Ni Guo

. [6] B.-N. Guo, F. Qi, Explicit formulae for computing Euler polynomials in terms of Stirling numbers of the second kind, J. Comput. Appl. Math ., 272 (2014), 251–257; Available online at . [7] B.-N. Guo, F. Qi, Some identities and an explicit formula for Bernoulli and Stirling numbers, J. Comput. Appl. Math ., 255 (2014), 568–579; Available online at . [8] M. E. Hoffman, Derivative polynomials for tangent and secant, Amer. Math. Monthly , 102 (1995), no. 1

Open access

Ekonomika (Economics)

Research Papers

Open access

Editor-in-chief Pasha Zusmanovich