Woliński Artur: Partial elementary logic. In: Acta scientiarum mathematicarum, (63) 1-2. pp. 3-49. (1997)