Alexander V. Lyaletski

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 5

Top Topics

Classical Logic

Automated Theorem Proving

Classical First Order Logic

Top Venues

J. Formaliz. Reason.

Publications

Alexander V. Lyaletski, Alexandre Lyaletsky
Evidence Algorithm Approach to Automated Theorem Proving and SAD Systems. IT&I (2020)
Alexander V. Lyaletski, Alexandre Lyaletsky
On One Approach to Goal-Driven Proof Search in Classical First-Order Logic. SYNASC (2020)
Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine
The SAD System: a Current State and Future Work. ICTERI (2017)
Alexander V. Lyaletski
Mathematical Text Processing in EA-style: a Sequent Aspect. J. Formaliz. Reason. 9 (1) (2016)
Alexander V. Lyaletski, Alexandre Lyaletsky, Andrei Paskevich
Evidential Paradigm as Formal Knowledge Presentation and Processing. ICTERI (2016)
Alexander V. Lyaletski
Evidence Algorithm and Inference Search in First-Order Logics. J. Autom. Reason. 55 (3) (2015)
Alexander V. Lyaletski
C-Clause Calculi and Refutation Search in First-Order Classical Logic. ICTERI (2015)
Alexander V. Lyaletski
Admissibility, compatibility, and deducibility in first-order sequent logics. Comput. Sci. J. Moldova 23 (3) (2015)
Vitaly Klimenko, Alexander V. Lyaletski
Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation. ICTERI (2012)
Alexander V. Lyaletski, Konstantin Verchinine
Evidence Algorithm and System for Automated Deduction: A Retrospective View CoRR (2010)
Alexander V. Lyaletski, Konstantin Verchinine
Evidence Algorithm and System for Automated Deduction: A Retrospective View. AISC/MKM/Calculemus (2010)
Alexander V. Lyaletski
On Herbrand-like Theorems for Cut-free Modal Sequent Logics. SYNASC (2009)
Alexander V. Lyaletski
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi. SYNASC (2008)
Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov
On Correctness of Mathematical Texts from a Logical and Practical Point of View. AISC/MKM/Calculemus (2008)
Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich
System for Automated Deduction (SAD): A Tool for Proof Verification. CADE (2007)
Alexander V. Lyaletski
Sequent forms of Herbrand theorem and their applications. Ann. Math. Artif. Intell. 46 (1-2) (2006)
Alexander V. Lyaletski, Boris Konev
On Herbrand's Theorem for Intuitionistic Logic. JELIA (2006)
Anatoly V. Anisimov, Alexander V. Lyaletski
The SAD System in Three Dimensions. SYNASC (2006)
Boris Konev, Alexander V. Lyaletski
Tableau Method with Free Variables for Intuitionistic Logic. Intelligent Information Systems (2006)
Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine
SAD as a mathematical assistant - how should we go from here to there? J. Appl. Log. 4 (4) (2006)
Alexander V. Lyaletski, Alexander A. Letichevsky, Oleksandr Kalinovskyy
Literal Trees and Resolution Technique. Intelligent Information Systems (2005)
Alexander V. Lyaletski, Anatoly E. Doroshenko, Andrey Paskevich, Konstantin Verchinine
Evidential Paradigm and Intelligent Mathematical Text Processing. ISTA (2004)
Alexander V. Lyaletski
On Admissible Substitutions in Classical and Intuitionistic Sequent Logics. Intelligent Information Systems (2004)
Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine
Theorem Proving and Proof Verification in the System SAD. MKM (2004)
Alexander V. Lyaletski
Computer-Oriented Sequent Inferring without Preliminary Skolemization. IIS (2003)
Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities. Intelligent Information Systems (2002)
Alexander V. Lyaletski
Quantifier Handling Issues in Computer-Oriented Intuitionistic Calculi. Intelligent Information Systems (2001)
Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets
Evidence Algorithm and Sequent Logical Inference Search. LPAR (1999)
Alexander V. Lyaletski, Marina Morokovets
On linguistic aspects of integration of computer mathematical knowledge. Calculemus (1999)