TIB—Leibniz Information Centre for Science and Technology, Hanover, Germany Welfengarten 1 B, 30167 Hannover, Germany E--mail:Nenad.Krdzavac@tib.eu Date: 31.01.2026 Dear Sir or Madam, Please find enclosed the communication entitled Neurosymbolic Inference, Reasoning and Proving in Propositional Logic: A Survey by N. Krdzavac and F. Engel, submitted for publication in the Neurosymbolic Artificial Intelligence journal as a survey paper for the Special Call for Survey Papers. We ask for publication of the attached article, which introduces a systematic methodology for surveying and evaluating reasoning and proving capabilities, as well as assurance levels in propositional logic (PL), witin neurosymbolic (NeSy) AI frameworks. The article presents the X–Y–Z taxonomy, implemented as a SKOS-based ontology, which classifies NeSy frameworks according to their ability to perform inference, reasoning, and proving tasks in PL. To enable reproducible and automated evaluation, we implement a Python pipeline that computes aggregate statistics across surveyed frameworks, providing a practical tool for the research community to benchmark and compare NeSy systems. The significance of this work lies in offering the NeSy AI community a standardized, executable approach to measure and assess NeSy reasoning and proving capabilities, addressing a long-standing gap between neural learning patterns and formal reasoning guarantees. We believe that the article’s methodology and taxonomy provide both conceptual and practical contributions that advance the rigor and maturity of NeSy AI research, making it suitable for publication in Neurosymbolic Artificial Intelligence journal. Yours sincerely, N. Krdzavac