@MISC{GRZLOG_1.MIZ,
  AUTHOR = {Huuskonen, Taneli},
  NOTE1 = {Work supported by Polish National Science Center (NCN) grant
       "Logic of language experience"
       nr 2011/03/B/HS1/04580.},
  TITLE = {Grzegorczyk's Logics, Part 1},
  SECTION1 = {The Construction of Grzegorczyk's LD Language},
  SECTION2 = {Axioms and Rules},
  SECTION3 = {Provability},
  DAY = {30},
  MONTH = {April},
  YEAR = {2015},
  ADDRESS1 = {Institute of Mathematics and Statistics\\P.O.Box 68 (Gustav H\"allstr\"omin katu 2)\\00014 University of Helsinki\\Finland},
  SUMMARY = {This article is the third in a series formalizing some results
  in my joint work with Prof.\ Joanna Goli\'nska-Pilarek
  (\cite{GPH:2012} and more recent research) concerning a logic proposed by
  Prof. Andrzej Grzegorczyk (\cite{Grzegorczyk:2012}).\\
  This part presents the syntax and axioms of Grzegorczyk's
  {\em Logic of Descriptions} (LD) as originally proposed by him,
  as well as some theorems not depending on any semantic constructions.}}

@ARTICLE{GPH:2012,
 AUTHOR={Goli\'nska-Pilarek, Joanna and Huuskonen, Taneli},
 TITLE={Logic of Descriptions. A New Approach to the Foundations of Mathematics and Science},
 JOURNAL={Studies in Logic, Grammar and Rhetoric},
 NUMBER=27,
 VOLUME=40,
 PUBLISHER={Chair of Logic, Informatics and Philosophy of Science, Faculty of History and Sociology, University of Bia{\l}ystok},
 YEAR=2012}

@ARTICLE{Grzegorczyk:2012,
 AUTHOR={Grzegorczyk, Andrzej},
 TITLE={Filozofia logiki i formalna {\sc logika niesymplifikacyjna}},
 JOURNAL={Zagadnienia Naukoznawstwa},
 NUMBER=4,
 VOLUME={XLVII},
 YEAR=2012}
