Interest: Philosophical and mathematical logic. Logical aspects of Artificial Intelligence and Computer Science.

Research:

  • classical and non-classical logics
  • many-valued logic, its philosophy, algebraic interpretation and applications
  • theory of strengthenings of propositional calculi
  • logical consequence, its semantics and the theory of matrices
  • inferential generalization of the consequence relation
  • referential and inferential many-valuedness
  • non-Fregean logic: SCI-sentential logic with identity
  • selected problems of the theory of information systems.

© prof. dr hab. Grzegorz Malinowski - Instytut Filozofii UŁ