Vasilyi Shangin

According to our database, Vasilyi Shangin authored at least 14 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Axiomatizing a Minimal Discussive Logic.

Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav I. Petrukhin, Vasily Shangin

Stud Logica, October, 2023

Non-transitive Correspondence Analysis.

Yaroslav I. Petrukhin, Vasily Shangin

J. Log. Lang. Inf., 2023

2021

Correspondence Analysis for Some Fragments of Classical Propositional Logic.

Yaroslav I. Petrukhin, Vasilyi Shangin

Logica Universalis, 2021

2019

On Vidal's trivalent explanations for defective conditional in mathematics.

Yaroslav I. Petrukhin, Vasily Shangin

J. Appl. Non Class. Logics, 2019

2018

Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications.

Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin

FLAP, 2018

2017

Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox.

Yaroslav I. Petrukhin, Vasily Shangin

Rev. Symb. Log., 2017

2014

Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting.

Alexander Bolotov, Vasilyi Shangin

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2012

Natural Deduction System in Paraconsistent Setting: Proof Search for PCont.

Alexander Bolotov, Vasilyi Shangin

J. Intell. Syst., 2012

2007

Automated Natural Deduction for Propositional Linear-Time Temporal Logic.

Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.

Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

2006

Socratic Proofs for Quantifiers.

Andrzej Wisniewski, Vasilyi Shangin

J. Philos. Log., 2006

Natural Deduction Calculus for Computation Tree Logic.

Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin

Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 2006

Natural Deduction Calculus for Linear-Time Temporal Logic.

Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

Automated First Order Natural Deduction.

Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005