Zerarga, LoutfiDjouadi, Yassine2018-01-222018-01-2220170219-1377https://dspace.univ-boumerdes.dz/handle/123456789/4364enInformation retrievalAxiomatic theoryMany-sorted first-order logicBoolean modelVector space modelFormal concept analysisA many-sorted theory proposal for information retrieval : axiomatization and semanticsArticle