- Born 22.04.1951,
- 1974 Graduated in philosophy at the Faculty of Philosophy of the Catholic University of Lublin,
- 1977 doctorate,
- 1986 habilitation.
- Director of the Department of the Foundation of Computer Science. Most of his papers is devoted to formal logic.

**Scientific interests include**

- formal logic,
- logic of programming,
- history of logic,
- applications of computer technology in economical research and practice.

**Selected publications**

- On a Certain Condition of the Finite Structural Axiomatization of the Classical Propositional Calculus. Reports on Mathematical Logic, 9, 1977, 23-26.
- Dual counterparts of strongly finite consequence, BULLETIN OF THE SECTION OF LOGIC, 7/2, 1978.
- Decidability of structural completeness for strongly finite propositional calculi, BULLETIN OF THE SECTION OF LOGIC, 7/3, 1978.
- Finite structural axiomatization of every finite-valued propositional calculus, BULLETIN OF THE SECTION OF LOGIC, 8/2, 1979.
- Quasi-strongly finite sentential calculi, BULLETIN OF THE SECTION OF LOGIC, 9/2, 1980.
- Every two-valuated propositional calculus has the interpolation property (z T. Stępniem), BULLETIN OF THE SECTION OF LOGIC, 9/4, 1980.
- Finite Structural Axiomatization of Every Finite-Valued Propositional Calculus. Studia Logica 39 (1). 1980.
- The necessity of modal logic S5 is metalogical, BULLETIN OF THE SECTION OF LOGIC, 10/4, 1981
- Finite Unaxiomatizability of Propositional Calculi with One Variable. Reports on Mathematical Logic, 12, 1981, 3-7.
- The connective of necessity of modal logic S5 is metalogical., Notre Dame Journal of Formal Logic. Volume 24, Number 3 (1983), 410-414.
- An interpretation of Aristotle's syllogistic and a certain fragment of set theory in propositional calculi, BULLETIN OF THE SECTION OF LOGIC, 13/2, 1984.
- On Lemmon's interpretations of the connective of necessity, BULLETIN OF THE SECTION OF LOGIC, 13/2, 1984.
- An interpretation of a certain fragment of arithmetic in some propositional calculus, BULLETIN OF THE SECTION OF LOGIC, 13/2, 1984.
- On a certain method of producing logical matrices, BULLETIN OF THE SECTION OF LOGIC, 14/1, 1985.
- A new variant of the Godel-Malcev theorem for the classical propositional calculus, BULLETIN OF THE SECTION OF LOGIC, 14/1, 1985.
- On Lemmon's Interpretations of the Connective of Necessity, Logique et Analyse , 1985, vol. 28, no112, pp. 369-374.
- On some method of axiomatization of some propositional calculi, BULLETIN OF THE SECTION OF LOGIC, 15/2, 1986.
- A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: "The connective of necessity of modal logic S5 is metalogical", Notre Dame Journal of Formal Logic. Volume 27, Number 4 (1986), 551-555.
- On some method of axiomatization of some propositional calculi, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 33/1, 1987.