Vasilyi Shangin

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 2

Top Topics

Satisfiability Testing

Correspondence Analysis

Natural Deduction

Top Venues

J. Intell. Syst.

Logica Universalis

Publications

Yaroslav I. Petrukhin, Vasilyi Shangin
Correspondence Analysis for Some Fragments of Classical Propositional Logic. Logica Universalis 15 (1) (2021)
Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. FLAP 5 (1) (2018)
Alexander Bolotov, Vasilyi Shangin
Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting. COMPSAC (2014)
Alexander Bolotov, Vasilyi Shangin
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. J. Intell. Syst. 21 (1) (2012)
Alexander Bolotov, Vasilyi Shangin
Natural Deduction System in Paraconsistent Setting: proof search for PCont. IICAI (2011)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME (2007)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI (2007)
Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin
Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA (2006)
Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium (2006)
Andrzej Wisniewski, Vasilyi Shangin
Socratic Proofs for Quantifiers. J. Philos. Log. 35 (2) (2006)
Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin
Automated First Order Natural Deduction. IICAI (2005)