dr Adam Grabowski : Publications

  1. A. Grabowski, R. Coghetto
    Tarski's Geometry and the Euclidean Plane in Mizar
    Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, M. Suda et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by)  RWTH Aachen University, 2017, pp. 4-9.
  2. A. Grabowski, A. Korniłowicz
    Introduction to Liouville Numbers
    Form. Math. (2017), (to appear).
    DOI10.1515/forma-2017-0003
  3. A. Korniłowicz, A. Naumowicz, A. Grabowski
    All Liouville Numbers are Transcendental
    Form. Math. (2017), (to appear).
    DOI10.1515/forma-2017-0004
  4. R. Cogheto, A. Grabowski
    Tarski Geometry Axioms - Part II
    Form. Math. 24 (2016), no. 2, 157-166.
    DOI10.1515/forma-2016-0012
  5. A. Grabowski
    Binary Relations-Based Rough Sets -- An Automated Approach
    Form. Math. 24 (2016), no. 2, 151-163.
    DOI10.1515/forma-2016-0011
  6. A. Grabowski
    Lattice Theory for Rough Sets - A Case Study with Mizar
    Fund. Inform. 147 (2016), no. 2-3, 223-240.
    DOI10.3233/FI-2016-1406
  7. A. Grabowski
    Tarski's Geometry Modelled in Mizar Computerized Proof Assistant
    Proceedings of the 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), Sept. 11-14, (M. Ganzha, L. Maciaszek, M. Paprzycki et al. Ed(s).), Annals of Computer Science and Information Systems vol. 8, (publ. by) PTI: Polish Information Processing Society, 2016, pp. 373-381.
    DOI10.15439/2016F290
  8. A. Grabowski, A. Korniłowicz, Ch. Schwarzweller
    On Algebraic Hierarchies in Mathematical Repository of Mizar
    Proceedings of the 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), Sept. 11-14, (M. Ganzha, L. Maciaszek, M. Paprzycki et al. Ed(s).), Annals of Computer Science and Information Systems vol. 8, (publ. by) PTI: Polish Information Processing Society, 2016, pp. 363-371.
    DOI10.15439/2016F520
  9. G. Bancerek, Cz. Byliński, A. Grabowski, A. Korniłowicz, R. Matuszewski, A. Naumowicz, K. P±k, J. Urban
    Mizar: State-of-the-art and Beyond
    Intelligent Computer Mathematics, International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings., Jul 13-17, (M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, V. Sorge Ed(s).), Lecture Notes in Comput. Sci. vol. 9150, (publ. by) Springer, Berlin, 2015, pp. 261-279.
    DOI10.1007/978-3-319-20615-8_17
  10. A. Grabowski
    Lattice Theory for Rough Sets - An Experiment in Mizar
    Concurrency, Specification and Programming, CS&P'2015, 24th Int. Workshop Proc., Rzeszów, Poland, Sep 28-30, 2015, Chair of Computer Science, the University of Rzeszow (conf. org.) (Z. Suraj, L. Czaja Ed(s).), vol. 1, (publ. by) University of Rzeszow, Sep 2015, pp. 159-169.
  11. A. Grabowski
    Mechanizing Complemented Lattices within Mizar Type System
    J. Automat. Reason. 55 (2015), no. 3, 211-221.
    DOI10.1007/s10817-015-9333-5
  12. A. Grabowski
    Stone Lattices
    Form. Math. 23 (2015), no. 4, 387-396.
    DOI10.1515/forma-2015-0031
  13. A. Grabowski
    Two Axiomatizations of Nelson Algebras
    Form. Math. 23 (2015), no. 2, 115-125.
    DOI10.1515/forma-2015-0012
  14. A. Grabowski, A. Korniłowicz, A. Naumowicz
    Four Decades of Mizar, Foreword
    J. Automat. Reason. 55 (2015), no. 3, 191-198.
    DOI10.1007/s10817-015-9345-1
  15. A. Grabowski, A. Korniłowicz, Ch. Schwarzweller
    Equality in Computer Proof-Assistants
    Proceedings of the 2015 Federated Conference on Computer Science and Information Systems (FedCSIS), Sept. 13-16, Annals of Computer Science and Information Systems vol. 5, (publ. by) PTI: Polish Information Processing Society, 2015, pp. 45-54.
    DOI10.15439/2015F229
  16. A. Grabowski, T. Mitsuishi
    Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets
    Rough Sets and Knowledge Technology, 10th International Conference, RSKT 2015, Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin,, Nov. 20-23, (D. Ciucci, G. Wang, S. Mitra, Wei-Zhi Wu et al. Ed(s).), Lecture Notes in Artificial Intelligence vol.  9436, (publ. by) Springer, Berlin, 2015, pp. 347-356.
    DOI10.1007/978-3-319-25754-9_31
  17. A. Grabowski, T. Mitsuishi
    Initial Comparison of Formal Approaches to Fuzzy and Rough Sets
    Artifical Intelligence and Soft Computing, 14th International Conference, ICAISC 2015, Part I, Zakopane,, Jun. 14-18, (L. Rutkowski, M. Korytkowski, R Scherer, R. Tadeusiewicz, L. A. Zadeh, J. M. Zurada et al. Ed(s).), Lecture Notes in Artificial Intelligence vol. 9119, (publ. by) Springer, Berlin, 2015, pp. 160-171.
    DOI10.1007/978-3-319-19324-3_15
  18. J. Alama, A. Grabowski, W. Richter
    Tarski Geometry Axioms
    Form. Math. 22 (2014), no. 2, 167-176.
    DOI10.2478/forma-2014-0017
  19. A. Gomolińska, A. Grabowski, M. Hryniewicka, M. Kacprzak, E. Schmeidel
    Preface
    Recent Results in Pure and Applied Mathematics, Podlasie 2014 (A. Gomolińska, A. Grabowski, M. Hryniewicka, M. Kacprzak, E. Schmeidel Ed(s).), Białystok Technical University Publishing Office, 2014, pp. 5-6.
  20. A. Gomolińska, A. Grabowski, M. Hryniewicka, M. Kacprzak, E. Schmeidel
    Preface
    Trends in Contemporary Computer Science, Podlasie 2014 (A. Gomolińska, A. Grabowski, M. Hryniewicka, M. Kacprzyk, E. Schmeidel Ed(s).), Białystok Technical University Publishing Office, 2014, pp. 5-8.
  21. A. Grabowski
    Cauchy Mean Theorem
    Form. Math. 22 (2014), no. 2, 157-166.
    DOI10.2478/forma-2014-0016
  22. A. Grabowski
    Efficient rough set theory merging
    Fund. Inform. 135 (2014), no. 4, 371-385.
    DOI10.3233/FI-2014-1129
  23. A. Grabowski
    Formal Characterization of Almost Distributive Lattices
    Trends in Contemporary Computer Science, Podlasie 2014 (A. Gomolińska, A. Grabowski, M. Hryniewicka, M. Kacprzyk, E. Schmeidel Ed(s).), Białystok Technical University Publishing Office, 2014, pp. 11-21.
  24. A. Grabowski
    Formalization of Generalized Almost Distributive Lattices
    Form. Math. 22 (2014), no. 3, 257-267.
    DOI10.2478/forma-2014-0026
  25. A. Grabowski
    The Formal Construction of Fuzzy Numbers
    Form. Math. 22 (2014), no. 4, 313-319.
    DOI10.2478/forma-2014-0032
  26. A. Grabowski
    Topological interpretation of rough sets
    Form. Math. 22 (2014), no. 1, 89-97.
    DOI10.2478/forma-2014-0010
  27. A. Grabowski, K. Ishida, Y. Shidama
    Definition of Flat Poset and Existence Theorems for Recursive Call
    Form. Math. 22 (2014), no. 1, 1-10.
    DOI10.2478/forma-2014-0001
  28. A. Grabowski, Ch. Schwarzweller
    Towards Standard Environments for Formalizing Mathematics
    Trends in Contemporary Computer Science, Podlasie 2014 (A. Gomolińska, A. Grabowski, M. Hryniewicka, M. Kacprzyk, E. Schmeidel Ed(s).), Białystok Technical University Publishing Office, 2014, pp. 99-108.
  29. A. Grabowski, Y. Shidama
    Preface
    Form. Math. 22 (2014), no. 2, i-iv.
    DOI10.2478/forma-2014-0020
  30. A. Grabowski
    Automated discovery of properties of rough sets
    Fund. Inform. 128 (2013), no. 1-2, 65-79.
    DOI10.3233/FI-2013-933
  31. A. Grabowski
    Efficient rough set theory merging
    Concurrency, Specification and Programming, CS&P'2013, Int. Workshop Proc. Warsaw, Poland, Sep 25-27, Institute of Mathematics, Warsaw University (conf. org.) (Z. Suraj, L. Czaja Ed(s).), (publ. by) Białystok University of Technology, Sep 2013, pp. 157-168.
  32. A. Grabowski
    On square-free numbers
    Form. Math. 21 (2013), no. 2, 153-162.
    DOI10.2478/forma-2013-0017
  33. A. Grabowski
    On the computer certification of fuzzy numbers
    Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Sept. 8-11, (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. I, (publ. by) PTI: Polish Information Processing Society, 2013, pp. 51-54.
  34. A. Grabowski
    Polygonal numbers
    Form. Math. 21 (2013), no. 2, 103-113.
    DOI10.2478/forma-2013-0012
  35. A. Grabowski
    Prime filters and ideals in distributive lattices
    Form. Math. 21 (2013), no. 3, 213-221.
    DOI10.2478/forma-2013-0023
  36. A. Grabowski
    Relational formal characterization of rough sets
    Form. Math. 21 (2013), no. 1, 55-64.
    DOI10.2478/forma-2013-0006
  37. E. Niewiadomska, A. Grabowski
    Introduction to formal preference spaces
    Form. Math. 21 (2013), no. 3, 223-233.
    DOI10.2478/forma-2013-0024
  38. A. Grabowski
    Computer-Driven Searching for Axiomatization of Rough Sets
    Concurrency, Specification, and Programming, CS&P'2012, Berlin, Germany, Sep 26-28, Humboldt University of Berlin, Warsaw University.  (conf. org.) (L. Popova-Zeugmann Ed(s).), CEUR Workshop Proceedings vol. 928, (publ. by)  RWTH Aachen University, 2012, pp. 115-122.
  39. A. Grabowski, Ch. Schwarzweller
    Towards Automatically Categorizing Mathematical Knowledge
    Federated Conference on Computer Science and Information Systems, FedCSIS 2012, Proceedings, Wroclaw, Sep 9-12, IEEE et al. (conf. org.) (M. Ganzha, L. A. Maciaszek, M. Paprzycki Ed(s).), (publ. by) IEEE, 2012, pp. 63-68, (presented at 7th Int. Symp. Advances in Artificial Intelligence and Applications, see at http://proceedings.fedcsis.org/2012/).
  40. A. Grabowski
    Formalization of lattice theory in Mizar
    Abstracts Amer. Math. Soc. 32(1) (2011), no. 163, 52, (abstract).
  41. A. Grabowski, M. Jastrzębska
    A note on a formal approach to rough operators
    Rough Sets and Current Trends in Computing, 7th International Conference, RSCTC 2010, Warsaw, Poland, Jun 28-30, PTM, Wydz. MIM UW, II PW (conf. org.) (M. Szczuka et al. Ed(s).), Lecture Notes in Comput. Sci. vol. 6086, (publ. by) Springer, Berlin, 2010, pp. 307-316.
    DOI10.1007/978-3-642-13529-3_33
  42. A. Grabowski, A. Korniłowicz, A. Naumowicz
    Mizar in a nutshell
    J. Form. Reasoning 3 (2010), no. 2, 153-245.
  43. A. Grabowski, Ch. Schwarzweller
    On duplication in mathematical repositories
    Intelligent Computer Mathematics, 10th International Conf. AISC 2010, 17th Symposium, Calculemus 2010 i 9th International Conf. MKM 2010, Paris, France, July 5-10, (S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, A. P. Sexton Ed(s).), Lecture Notes in Comput. Sci. vol. 6167, (publ. by) Springer, Berlin, 2010, pp. 300-314.
    DOI10.1007/978-3-642-14128-7_26
  44. A. Grabowski, M. Jastrzębska
    On the lattice of intervals and rough sets
    Form. Math. 17 (2009), no. 4, 237-244.
    DOI10.2478/v10037-009-0030-x
  45. A. Grabowski, M. Jastrzębska
    Two formal approaches to rough sets
    Computer Reconstruction of the Body of Mathematics (A. Grabowski, A. Naumowicz Ed(s).), Stud. Logic, Grammar and Rhetoric vol. 18(31), University of Białystok, 2009, pp. 25-33.
  46. A. Grabowski, Ch. Schwarzweller
    Improving representation of knowledge within the Mizar library
    Computer Reconstruction of the Body of Mathematics (A. Grabowski, A. Naumowicz Ed(s).), Stud. Logic, Grammar and Rhetoric vol. 18(31), University of Białystok, 2009, pp. 35-49.
  47. A. Grabowski, E. M±dra
    Orthomodular lattices
    Form. Math. 16 (2008), no. 3, 277-282.
    DOI10.2478/v10037-008-0033-z
  48. A. Grabowski
    Towards a coherent repository of knowledge
    Mechanized Mathematics and Its Applications 6 (2007), no. 1, 47-54.
  49. A. Grabowski, M. Jastrzębska
    Rough set theory from a math-assistant perspective
    Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, (M. Kryszkiewicz, J. F. Peters, H. Rybinski, A. Skowron Ed(s).), Lecture Notes in Comput. Sci. vol. 4585, (publ. by) Springer, Berlin, 2007, pp. 152-161.
    DOI10.1007/978-3-540-73451-2_17
  50. A. Grabowski, A. Korniłowicz
    Computer-assisted reasoning about algebraic topology
    From Insight to Proof - Festschrift in Honour of Andrzej Trybulec (R. Matuszewski, A. Zalewska Ed(s).), Stud. Logic, Grammar and Rhetoric vol. 10(23), University of Białystok, 2007, pp. 179-189.
  51. A. Grabowski, Ch. Schwarzweller
    Revisions as an essential tool to maintain mathematical repositories
    Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, (M. Kauers, M. Kerber, R. Miner, W. Windsteiger Ed(s).), Lecture Notes in Comput. Sci. vol. 4573, (publ. by) Springer, Berlin, Jun 2007, pp. 235-249.
    DOI10.1007/978-3-540-73086-6_20
  52. A. Grabowski
    Solving two problems in general topology via types
    Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, Dec. 15-18, (J-Ch. Filliâtre, Ch. Paulin-Mohring, B. Werner Ed(s).), Lecture Notes in Comput. Sci. , (publ. by) Springer, Berlin, 2006, pp. 138-153, (Revised Selected Papers).
    DOI10.1007/11617990_9
  53. A. Grabowski, M. Jastrzębska
    Enhancing MML via Isomichi's classification of domains
    Mechanized Mathematics and Its Applications 5 (2006), no. 2, 11-18.
  54. A. Grabowski, M. Jastrzębska
    On the properties of the Moebius function
    Form. Math. 14 (2006), no. 1, 29-36.
    DOI10.2478/v10037-006-0005-0
  55. A. Grabowski, E. Romanowicz
    On the permanent of a matrix
    Form. Math. 14 (2006), no. 1, 13-20.
    DOI10.2478/v10037-006-0003-2
  56. A. Grabowski, Ch. Schwarzweller
    Translating mathematical vernacular into knowledge repositories
    Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, (M. Kohlhase Ed(s).), Lecture Notes in Comput. Sci. vol. 3863, (publ. by) Springer, Berlin, 2006, pp. 49-64, (Revised Selected Papers).
    DOI10.1007/11618027_4
  57. A. Grabowski
    Developing automated formal framework for rough set theory
    Proc. Int. Workshop on Concurrency, Specification and Programming, CS&P' 2005, Ruciane NIda, Poland, Sep 28-30, Uniwersytet Warszawski (conf. org.) (L. Czaja Ed(s).), (publ. by) Wydawnictwa UW, 2005, pp. 156-167.
  58. A. Grabowski
    On the Borel families of subsets of topological spaces
    Form. Math. 13 (2005), no. 4, 453-461.
  59. A. Grabowski
    On the boundary and derivative of a set
    Form. Math. 13 (2005), no. 1, 139-146.
  60. A. Grabowski
    On the computer-assisted reasoning about rough sets
    Monitoring, security and rescue techniques in multiagent systems (B. Dunin-Kęplicz et al. Ed(s).), Adv. in Soft Comp. vol. 28, Springer, 2005, pp. 215-226.
    DOI10.1007/3-540-32370-8_15
  61. A. Grabowski
    On the computer-checked solution of the Kuratowski closure-complement problem
    Mechanized Mathematics and Its Applications 4 (2005), no. 1, 25-33.
  62. A. Grabowski, M. Jastrzębska
    On the Mizar encoding of Fibonacci numbers
    Mechanized Mathematics and Its Applications 4 (2005), no. 1, 75-82.
  63. A. Grabowski, M. Jastrzębska
    The properties of supercondensed sets, subcondensed sets and condensed sets
    Form. Math. 13 (2005), no. 2, 353-359.
  64. A. Grabowski, A. Korniłowicz
    On some points of a simple closed curve. Part II
    Form. Math. 13 (2005), no. 1, 89-91.
  65. A. Grabowski, M. Moschner
    Formalization of ortholattices via orthoposets
    Form. Math. 13 (2005), no. 1, 189-198.
  66. A. Grabowski, M. Moschner
    On heterogeneity and formalization of ortholattices within Mizar
    Proc. 16th Int. Congress of the Austrian Mathematical Soc., Annual Conf. of the General National Mathematical Soc., Klagenfurt 2005, Austria, Sep. 18-23, Univeristaet Klagenfurt (conf. org.), 2005, pp. 1-1, (abstract).
  67. D. Częstochowska, A. Grabowski
    Catalan numbers
    Form. Math. 12 (2004), no. 3, 351-354.
  68. A. Grabowski
    Algebry Robbinsa a algebry Boole'a
    Zeszyty Nauk. Polit. Białost. Matem. Fiz. Chemia (2004), 32-44, (in Polish).
  69. A. Grabowski
    Basic properties of rough sets and rough membership function
    Form. Math. 12 (2004), no. 1, 21-28.
  70. A. Grabowski, M. Jastrzębska
    Some properties of Fibonacci numbers
    Form. Math. 12 (2004), no. 3, 307-314.
  71. A. Grabowski, A. Korniłowicz
    Algebraic properties of homotopies
    Form. Math. 12 (2004), no. 3, 251-260.
  72. A. Grabowski, A. Korniłowicz, Y. Shidama
    The fundamental group
    Form. Math. 12 (2004), no. 3, 261-268.
  73. A. Grabowski, V. Kozarkiewicz
    Axiomatization of Boolean algebras based on Sheffer stroke
    Form. Math. 12 (2004), no. 3, 355-362.
  74. A. Grabowski, M. Moschner
    Managing heterogeneous theories within a mathematical knowledge repository
    Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, Sept. 19-21, (A. Asperti, G. Bancerek, A. Trybulec Ed(s).), Lecture Notes in Comput. Sci. vol. 3119, (publ. by) Springer, Berlin, 2004, pp. 116-129.
    DOI10.1007/978-3-540-27818-4_9
  75. A. Grabowski, E. Romanowicz
    The Hall Marriage Theorem
    Form. Math. 12 (2004), no. 3, 315-320.
  76. A. Grabowski, K. Romanowicz
    The operation of addition of relational structures
    Form. Math. 12 (2004), no. 3, 335-340.
  77. A. Grabowski, C. Schwarzweller
    Rough Concept Analysis - theory development in the Mizar system
    Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, Sept. 19-21, (A. Asperti, G. Bancerek, A. Trybulec Ed(s).), Lecture Notes in Comput. Sci. vol. 3119, (publ. by) Springer, Berlin, 2004, pp. 130-144.
    DOI10.1007/978-3-540-27818-4_10
  78. A. Grabowski, P. Wojtecki
    Lucas numbers and generalized Fibonacci numbers
    Form. Math. 12 (2004), no. 3, 329-334.
  79. A. Grabowski, A. Łukaszuk
    Short Sheffer stroke-based single axiom for Boolean algebras
    Form. Math. 12 (2004), no. 3, 363-370.
  80. L. K. Bagińska, A. Grabowski
    On the Kuratowski Closure-Complement Problem
    Form. Math. 11 (2003), no. 3, 323-329.
  81. A. Grabowski
    On the Hausdorff distance between compact subsets
    Form. Math. 11 (2003), no. 2, 153-157.
  82. A. Grabowski
    On the Kuratowski limit operators
    Form. Math. 11 (2003), no. 4, 399-409.
  83. A. Grabowski
    On the Subcontinua of a Real Line
    Form. Math. 11 (2003), no. 3, 313-322.
  84. A. Grabowski, W. Truszkowska
    On the two short axiomatizations of ortholattices
    Form. Math. 11 (2003), no. 3, 335-340.
  85. A. Grabowski
    On the decompositions of intervals and simple closed curves
    Form. Math. 10 (2002), no. 3, 145-151.
  86. A. Grabowski
    On the lattice connected with substitutions
    Acta Univ. Wratislaviensis, Ser. Logika 2466 (2002), Logika 2, 37-44.
  87. A. Grabowski
    Robbins algebras vs. Boolean algebras
    Form. Math. 9 (2001), no. 4, 681-690.
  88. A. Grabowski
    Scott-continuous functions. Part 2
    Form. Math. 9 (2001), no. 1, 5-11.
  89. A. Grabowski
    The incompleteness of the lattice of substitutions
    Form. Math. .9 (2001), no. 3, 449-454.
  90. A. Grabowski, A. Korniłowicz, A. Trybulec
    Some properties of cells and gauges
    Form. Math. 9 (2001), no. 3, 545-548.
  91. A. Grabowski
    Hilbert positive propositional calculus
    Form. Math. 8 (1999), no. 1, 69-72.
  92. A. Grabowski
    Lattice of substitutions
    Rep. Math. Logic (1999), no. 33, 99-109.
  93. A. Grabowski
    Properties of the product of compact topological spaces
    Form. Math. 8 (1999), no. 1, 55-59.
  94. A. Grabowski
    Lattice of substitutions is a Heyting algebra
    Form. Math. 7 (1998), no. 2, 323-327.
  95. A. Grabowski
    Scott-continuous functions
    Form. Math. 7 (1998), no. 1, 13-18.
  96. A. Grabowski, Y. Nakamura
    Bounding boxes for special sequences in ${\cal {E}}^2$
    Form. Math. 7 (1998), no. 1, 115-121.
  97. A. Grabowski
    Auxiliary and approximating relations
    Form. Math. 6 (1997), no. 2, 179-188.
  98. A. Grabowski
    Examples of category structures
    Form. Math. 6 (1997), no. 1, 17-20.
  99. A. Grabowski
    Introduction to the homotopy theory
    Form. Math. 6 (1997), no. 4, 449-454.
  100. A. Grabowski
    Inverse limits of many sorted algebras
    Form. Math. 6 (1997), no. 1, 5-8.
  101. A. Grabowski
    Lattice of substitutions
    Form. Math. 6 (1997), no. 3, 359-361.
  102. A. Grabowski, R. Matuszewski, Y. Nakamura
    Subsequences of standard special circular sequences in ${cal {E}}^2_{ m {T}}$
    Form. Math. 6 (1997), no. 3, 351-358.
  103. A. Grabowski, R. Milewski
    Boolean posets, posets under inclusion and products of relational structures
    Form. Math. 6 (1997), no. 1, 117-121.
  104. A. Grabowski, Y. Nakamura
    Some properties of real maps
    Form. Math. 6 (1997), no. 4, 455-459.
  105. A. Grabowski, Y. Nakamura
    The ordering of points on a curve. Part I
    Form. Math. 6 (1997), no. 4, 461-465.
  106. A. Grabowski, Y. Nakamura
    The ordering of points on a curve. Part II
    Form. Math. 6 (1997), no. 4, 467-473.
  107. A. Grabowski
    On the category of posets
    Form. Math. 5 (1996), no. 4, 501-505.
  108. A. Grabowski
    The correspondence between homomorphisms of universal algebra and many sorted algebra
    Form. Math. 5 (1996), no. 2, 211-214.
  109. A. Grabowski, J. Gryko, A. Sakowicz
    Sequences in ${cal {E}}^{N}_{ m {T}}$
    Form. Math. 5 (1996), no. 1, 93-96.
Remarks related to the above bibliographic data should be directed to: libmaster@math.uwb.edu.pl .