I'm working on some logical problems especially connected to the refutation systems. Also I'm interested in some problems of the philosophy of science.
