przynoszą prace w dziedzinach związanych z zastosowaniem komputerów: (a) wkład komputeryzacji rozumowań w teorię inteligencji, rola systemów pojęciowych w funkcjonowaniu inteligencji; (b) metody i techniki konstruowania hipertekstów dla celów komunikacji naukowej w Internecie. Po roku 2000: zagadnienia dynamiki cywilizacji w nawiązaniu do procesów globalizacji i procesów integracji europejskiej, ze szczególnym uwzględnieniem wkładu myśli Oświecenia.
Działalność organizacyjna na polu nauki 1975: utworzenie Zakładu Logiki w Filii UW, obecnie Katedry Logiki, Informatyki i Filozofii Nauki, UwB. 1977: zorganizowanie, na zlecenie Komitetu Nauk Filozoficznych PAN, Sekcji Logiki na Polskim Zjeździe Filozoficznym w Lublinie i przewodniczenie tej sekcji. 1978: utworzenie międzynarodowego zespołu do prac nad wydaniem pozycji podanej niżej w V-C3. 1980: założenie rocznika (obecnie serii książkowej) Studies in Logic, Grammar and Rhetoric wydawanego przez Filię UW w Białymstoku. 1987: zorganizowanie, na zlecenie Komitetu Nauk Filozoficznych PAN, Sekcji Logiki na Polskim Zjeździe Filozoficznym w Krakowie i przewodniczenie tej sekcji. 1987–1990: zorganizowanie i kierownictwo resortowego (z udziałem 12 uczelni) programu MEN Systemy logiczne i algorytmy do komputerowego testowania poprawności dowodów.