Alexander V. Lyaletski

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