Sliusarev Ivan

Year and place of birth

April 22, 2000, Moscow, Russian Federation

Education

Lomonosov Moscow State University, Faculty of Philosophy – Bachelor's (2022), Master's (2024). Specialization – 5.7.5 Logic

Fields of research

Paraconsistent Logics, Sequent Calculi, Interpolation Property

Professional occupation

Since April 2025 – Junior Researcher at the Logic Sector, Institute of Philosophy, Russian Academy of Sciences

Selected publications

Selected papers

Popov V.M. Sliusarev I.Y. The Only Three-Valued L⊃¬-logic with One Designated Value, Which is a Paranormal and Regular L⊃¬-logic with Classical Implication // Logical-Philosophical Studies, Vol. 20, No. 4. 2022. P. 396-412.
Grigoriev O.M., Belikov A.A., Sliusarev I.Y. On the Problem of Simulating Negations in Paraconsistent and Paracomplete Logics // Collection of articles from the conference "Thirteenth Smirnov Readings on Logic". 2023. P. 66-69.
Sliusarev I.Y. A Natural Deduction Calculus for a Certain Logic with Connegation // Collection of articles from the conference "Thirteenth Smirnov Readings on Logic". 2023. P. 114-118.
Sliusarev I.Y. An Introduction to Classical and Intuitionistic Linear Logic // Collection of articles from the conference "Philosophy in the XXI Century: New Strategies of Philosophical Search". 2024. P. 174-187.
Sliusarev I.Y. On the Problem of the Existence of Genuine Negation in Paraconsistent Logics // Collection of articles from the conference "Fourteenth Smirnov Readings on Logic". 2025. P. 109-111.

Conferences

Sliusarev I.Y. "Display calculi". Conference "The art and science of logic", Moscow, April 28-29, 2021.
Sliusarev I.Y. "A Remark on a Method for Automated Theorem Proving". IX Scientific Conference of Students, Postgraduate Students, and Young Scientists "Philosophy in the XXI Century: New Strategies of Philosophical Search", Moscow, December 6-10, 2021.
Sliusarev I.Y. "A Remark on a Display Calculus for a Certain System of Temporal Logic". International Conference of Students, Postgraduate Students, and Young Scientists "Lomonosov-2022", Moscow, April 11-22, 2022.
Sliusarev I.Y. "An Introduction to Classical and Intuitionistic Linear Logic". X Scientific Conference of Students, Postgraduate Students, and Young Scientists "Philosophy in the XXI Century: New Strategies of Philosophical Search", Moscow, December 5-9, 2022.
Sliusarev I.Y. "A Sequent Calculus for a Certain Logic with Connegation". XXX International Scientific Conference of Students, Postgraduate Students, and Young Scientists "Lomonosov 2023", Moscow, April 10-21, 2023.
Sliusarev I.Y. "On the Problem of Simulating Negations in Paraconsistent and Paracomplete Logics" (co-authored with Grigoriev O.M., Belikov A.A.). Thirteenth Smirnov Readings on Logic, Moscow, June 22-24, 2023.
Sliusarev I.Y. "Sequent Calculi for Logics with Connegation". XXXI International Conference of Students, Postgraduate Students, and Young Scientists "Lomonosov", Moscow, April 12-26, 2024.
Sliusarev I.Y. "Modal Logics with Non-Standard Unary Operators". XII Scientific Conference of Students, Postgraduate Students, and Young Scientists "Philosophy in the XXI Century: New Strategies of Philosophical Search", Moscow, December 9-13, 2024.
Sliusarev I.Y. "On the Problem of the Existence of Genuine Negation in Paraconsistent Logics". Fourteenth Smirnov Readings on Logic, Moscow, June 19-21, 2025
Sliusarev I.Y. "Genuinely Paraconsistent Minimal Logic". The XXXII International Conference of Students, Postgraduates and Young Scientists "Lomonosov", Moscow, April 11-25, 2025.