\baselineskip13pt plus.5pt minus.4pt \vsize22cm  \hsize14.5cm
\language=1

\font\bigr=cmr12    \font\bbf=cmbx12  \font\bit=cmti12
\font\st=cmr9 scaled\magstep1 
\font\it=cmti9 scaled\magstep1
\font\bf=cmbx9 scaled\magstep1
\font\q=cmr10  \font\qit=cmti10 
\font\sb=cmbx10
\font\n=cmr9     

\def\s{\smallskip} \def\m{\medskip} \def\b{\bigskip}
\def\cl{\centerline}

\def\pn{\par \noindent}   \def\ssn{\smallskip \noindent}
\def\msn{\medskip \noindent}     \def\bsn{\bigskip \noindent}

%=====================================================================
\st   \pn
{\bbf Przykładowa Lista Publikacji 1994-1996}\ssn
{\bbf Katedry Logiki, Informatyki i Filozofii Nauki} \pn
{\bigr Uniwersytetu w Białymstoku}
\msn
{\n Dla uzyskania zwięzłości, nazwiska autorów są podawane jedynie przy
publikacjach ksiażkowych.} 
\bsn
{\q A. POZYCJE Z LAT 1994-95 DOTYCZĄCE (z wyj.\ 10) INFORMATYKI}
\bsn
1. ,,Why Leibniz should not have believed in {\it filum cogitationis}?''
in: {\it Leibniz und Europa. VI.\ Internationaler Leibniz Kongre{\ss}},
Leibniz Gesellschaft, Hannover 1994.
\msn
2. ,,A Jaśkowski-Style System of Computer-Assisted Reasoning'' w: {\it
Philosophical Logic in Poland}, Kluwer, Dordrecht / Boston / London 1995.
\msn
3. ,,Concepts-Processing as a Procedure of Analog-Digital Conversion and
Digital-Analog Approximation'' w: {\it Logik und Mathematik.
Frege-Kolloquium Jena 1993}, Walter de Gruyter, Berlin / New York 1995.
(umieszczone w dziale {\it Logik und Information}).
\msn
4. ,,An Interactive Prover for Gentzen-Like System'' w: -- jak wyżej.
\msn
5. ,,Real Definitions and Creativity'' w: {\it The Heritage of Kazimierz
Ajdukiewicz}, Rodopi, Amsterdam / Atlanta GA 1995. 
\msn
6. Witold Marciszewski: {\it Logic from a Rhetorical Point of View}, Walter
de Gryter, Berlin / New York 1994. [Książka dotyczy zagadnień komunikacji w
perspektywie logicznych podstaw sztucznej inteligencji.] 
\msn
7. --- {\it Sztuka rozumowania w świetle logiki}, Aleph, Warszawa 1994.
[Książka omawia pewne algorytmiczne ujęcie logiki pierwszego rzędu.]
\msn
8. --- {\it Tajniki Internetu}, Filomat i Aleph, Warszawa 1995.
\msn
9. --- (wspólnie z R.\ Murawskim): {\it Mechanization of Reasoning in a
Historical Perspective}, Rodopi, Amsterdam / Altanta GA 1995. 
\msn
10. Kazimierz Trzęsicki: {\it Logika nieformalna}, Polskie Towarzystwo
Semiotyczne i Politechnika Białostocka, Warszawa / Białystok 1995.
\bsn
{\q B. POZYCJE Z ROKU 1996 DOTYCZĄCE INFORMATYKI}
\bsn
1. {\it IPAL--interakcyjny system automatycznego
wnioskowania o własnościach programów wyrażalnych w logice
algorytmicznej}, praca doktorska A.\ Zalewskiej obroniona w Instytucie
Informatyki Uniwersytetu Warszawskiego, Warszawa, czerwiec 1996.
\msn
2.  ,,O języku  tekstów  matematyki'', w:  {\it Prace Filologiczne}, Warszawa
1996, nr 41.
\msn
3. ,,O logice predykatów'' -- Posłowie do 2go wydania Alfreda Tarskiego
{\it Wprowadzenie do logiki i do metodologii nauk dedukcyjnych},
Warszawa, Philomath 1996, 245-250. 
\msn
4. ,,Mechanization of Deduction'' -- {\it Mathesis Universalis}, nr 1, 1996.
\msn
5. ,,A System of Suppositional Logic as Embodied in the Proof Checker Mizar
MSE'' -- {\it Mathesis Universalis}, nr 3, 1996.
\msn
6. ,,Baśń o Internecie'' w: J.\ J.\ Jadacki, {\it Jak studiować filozofię},
Wydz.\ Filozofii i Socjologii UW, 1996.
\msn
7. ,,A Study of Intelligence Guided by Mechanization of Reasoning'',
{\it Axiomathes}, Trento, Włochy. W druku.
\msn
8. ,,Mechanization of Jordan Theorem'', {\it Formalized Mathematics}. W
druku.
\msn
9. ,,Norms and Programs'', {\it Studies in Logic, Grammar and Rhetoric}. W
druku. 
\bsn
{\q C. INNE POZYCJE Z ROKU 1996 --- LOGIKA, FILOZOFIA NAUKI etc.}
\bsn
1. ,,Leibniz's Two Legacies. Their Implications for Knowledge Engineering''
{\it Knowledge and Organization}, 23 (1996) No.2, 77-82.
\msn
2. ,,H\"atte Leibniz von Neumanns logischen Physikalismus geteilt?'',
{\it Beitr\"age zur Geschichte der Sprachwissenschaft}, 6 (1996), 173-187.
\msn
3. ,,The 'Entscheidungsproblem' in Leibniz and in Descartes'',
{\it Idea VIII}, 1996, 43-55.
\msn
4. ,,Logic and Intelligence'' -- {\it Mathesis Universalis}, nr 1, 1996.
\msn
5. ,,The Leibnizian Perspective'' -- {\it Mathesis Universalis}, nr 1, 1996.
\msn
6. ,,A Dialogue on the Role of Logic
for the Theory and Art of Argumentation'' -- {\it Mathesis Universalis},
nr 2, 1996.
\msn
7. ,,Rational Beliefs as Produced by Computational Processes'',
Przyjęte do druku przez {\it Foundations of Science}, Kluwer, Dordrecht.
\msn
8. ,,Formalizm syntaktyczny Łukasiewicza jako model inteligentnego działania'',
{\it Filozofia Nauki}, Warszawa. W druku.
\msn
9. ,,La perspective platonicienne sur la langue  ches  Descartes  et  chez
Leibniz'', w: {\it Idea}, Białystok, 1996, t. VIII.
\msn
10. ,,O zdaniach jednostkowych  w  języku  polskim  (uwagi  na  marginesie
Ontologii Lesniewskiego)'', w: {\it Prace Filologiczne}, Warszawa 1996, nr 41.
\msn
11. ,,Platońska perspektywa językowa u Kartezjusza i Leibniza'',  w: {\it
Prace Filologiczne}, Warszawa 1996, nr 41.
\msn
12. ,,Adamityzm i Leibniz (o naturze i genezie  języka)''  w:  Materiały   z
sympozjum ,,Ponadczasowe wartosci filozofii G.W.\ Leibniza",  Częstochowa
1977. W druku.
\msn
13. ,,Metafizyczny status języka w filozofii Leibniza'', w: {\it Idea  --
Studia nad strukturą i rozwojem pojęć filozoficznych}, Białystok  1977,
t.\ IX. W druku.
\msn
14. ,,Pascal a nieskończoność'', {\it Znak} nr 12, 1996.
\msn
15. ,,Science-Oriented Philosophy'' -- {\it Mathesis Universalis}, nr 1,
1996. 
\msn
16. ,,Some Remarks about Intuitionistic Tense-Logic'', {\it Studies in Logic,
Grammar and Rhetoric}. W druku.
\msn
17. Witold Marciszewski: {\it Sztuka dyskutowania}, wyd.\ 4, rozszerzone,
Aleph 1996.
\msn
18. Kazimierz Trzęsicki: {\it Logika -- nauka i sztuka}, Temida 2,
Białystok 1996.
\msn