Institute of Informatics

University of Bialystok

Konstantego Ciolkowskiego 1M, 15-245 Bialystok

Poland

e-mail:

adam AT math.uwb.edu.plphone (office): +48 85 738 8306

2005 PhD in Mathematics, Silesian University, Katowice

Thesis: *On the structure connected with substitutions.*

1996 Master of Mathematics, Warsaw University, Bialystok Branch

Thesis: *Inverse limits of many sorted algebras. Examples of category
structures. *

1994 - 1997 Assistant Professor, Warsaw University, Bialystok Branch.

1997 - ... Assistant Professor, University of Bialystok.

Polish Association for Logic and Philosophy of Science

mathematical logic, rough sets, lattice theory, computer oriented formalization of mathematics, category theory, theory of many sorted algebras.

Shinshu University, Nagano, Japan (January - March 1997), as scientific researcher.

FIT XVIFIT XV

TYPES 2003

TYPES 2002

IJCAR 2001

MKM 2001

Karpacz 2000

Torun 1998

TYPES

MKM-NET

KBN

Or see the list of publications of Adam Grabowski at my department home page.

- Lattice of substitutions,
*Reports on Mathematical Logic,*33 (1999), pp. 99--109. - Robbins algebras vs. Boolean algebras,
*Proceedings of the First International Workshop on Mathematical Knowledge Management,*RISC Linz, 2001, available online. - On the lattice connected with substitutions,
*Acta Universitatis Wratislaviensis 2466, Logika t. 22,*2002, pp. 37--44. - Algebry Robbinsa a algebry Boole'a,
*Zeszyty Naukowe Wydzialu Informatyki Politechniki Bialostockiej,*2003 (in Polish). - Sequences
in ${\cal E}^{N}_{\rm T}$ (with A. Sakowicz, J. Gryko),
*Formalized Mathematics,*5(1), 1996, pp. 93--96. - The
correspondence
between homomorphisms of universal algebra and many sorted algebra,
*Formalized Mathematics,*5(2), 1996, pp. 211--214. - On
the category of posets,
*Formalized Mathematics,*5(4), 1996, 501--505. - Inverse
limits of many sorted algebras,
*Formalized Mathematics,*6(1), 1997, pp. 5--8. - Examples
of category structures,
*Formalized Mathematics,*6(1), 1997, pp. 17--20. - Boolean
posets, posets under inclusion and products of relational structures
(with R. Milewski),
*Formalized Mathematics,*6(1), 1997, pp. 117--122. - Auxiliary
and approximating relations,
*Formalized Mathematics,*6(2), 1997, pp. 179--188. -
Subsequences of standard special circular sequences in
${\cal E}^2_{\rm T}$ (with Y. Nakamura, R. Matuszewski),
*Formalized Mathematics,*6(3), 1997, 351--358. -
Lattice of substitutions,
*Formalized Mathematics,*6(3), 1997, 359--361. -
Introduction to the homotopy theory,
*Formalized Mathematics,*6(4), 1997, 449--454. -
Some properties of real maps,
*Formalized Mathematics,*6(4), 1997, 455--459. -
The ordering of points on a curve. Part I,
*Formalized Mathematics,*6(4), 1997, 461--465. -
The ordering of points on a curve. Part II,
*Formalized Mathematics,*6(4), 1997, 467--473. -
Scott-continuous functions,
*Formalized Mathematics,*7(1), 1998, 13--18. -
Bounding boxes for special sequences in $\calE^2$,
*Formalized Mathematics,*7(1), 1998, 115--121. -
Lattice of Substitutions Is a Heyting Algebra,
*Journal of Formalized Mathematics,*Vol. 10, 1998. -
Properties of the Product of Compact Topological Spaces,
*Journal of Formalized Mathematics,*Vol. 11, 1999. -
Hilbert Positive Propositional Calculus,
*Journal of Formalized Mathematics,*Vol. 11, 1999. -
Scott-Continuous Functions, Part II,
*Journal of Formalized Mathematics,*Vol. 11, 1999. -
The Incompleteness of the Lattice of Substitutions,
*Journal of Formalized Mathematics,*Vol. 12, 2000. -
Some Properties of Cells and Gauges,
*Journal of Formalized Mathematics,*Vol. 12, 2000. -
Robbins Algebras vs. Boolean Algebras,
*Journal of Formalized Mathematics,*Vol. 13, 2001. -
On the decompositions of intervals and simple closed curves,
*Formalized Mathematics,*10(3), 2002, 145--151. -
On the Hausdorff distance between compact subsets,
*Formalized Mathematics,*11(2), 2003, 153--157. -
On the subcontinua of a real line,
*Journal of Formalized Mathematics,*Vol. 15, 2003. -
On the Kuratowski closure-complement problem (with L. Baginska),
*Journal of Formalized Mathematics,*Vol. 15, 2003. -
On the two short axiomatizations of ortholattices (with W. Truszkowska),
*Journal of Formalized Mathematics,*Vol. 15, 2003. -
On the Kuratowski limit operators,
*Journal of Formalized Mathematics,*Vol. 15, 2003.

February 21, 2016 --- adam_AT_math.uwb.edu.pl