dr Adam Grabowski

Publikacje

1. R. Coghetto, A. Grabowski
   Tarski Geometry Axioms. Part V - Half-planes and Planes
   Form. Math. 31 (2023), no. 1, 325-339.
   DOI: 10.2478/forma-2023-0026
2. A. Grabowski
   Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition
   2023 IEEE International Conference on Fuzzy Systems, 2023, pp. 1-6.
   DOI: 10.1109/FUZZ52849.2023.10309683
3. A. Grabowski
   Elementary Number Theory Problems. Part XII - Primes in Arithmetic Progression
   Form. Math. 31 (2023), no. 1, 277-286.
   DOI: 10.2478/forma-2023-0022
4. A. Grabowski
   On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
   Form. Math. 31 (2023), no. 1, 151-159.
   DOI: 10.2478/forma-2023-0014
5. A. Grabowski, A. Korniłowicz
   Implementing More Explicit Definitional Expansions in Mizar
   14th International Conference on Interactive Theorem Proving (ITP 2023), (A. Naumowicz, R. Thiemann Ed(s).), vol. 268, (publ. by) Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, 2023, pp. 37:1-37:8.
   DOI: 10.4230/LIPIcs.ITP.2023.37