|Welcome to the University of Lodz Repository (RUŁ). The Repository collects and facilitates didactic materials and current intellectual output of the university research workers. It is a platform facilitating scientific resources and integrating the university with the other sources of information science.|
|The Repository operates on the basis of regulation of President of the University of Lodz (Rector) No.51 of 31.03.2015.|
|In order to deposit the documents please contact:|
|Staff of the University of Lodz Repository (RUŁ). firstname.lastname@example.org|
Communities in DSpace
Select a community to browse its collections.
(Bogucki Wydawnictwo Naukowe, 2021)
(2022)This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper ...