Vasilyi Shangin

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