• 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.