Personal information

Verified email addresses

Verified email domains

Activities

Employment (1)

Lomonosov Moscow State University: Moscow, RU

2032 | Associate Professor (Department of Logic, Faculty of Philosophy)
Employment
Source: Self-asserted source
Vasily Shangin

Education and qualifications (2)

Lomonosov Moscow State University: Moscow, RU

(Department of Logic, Faculty of Philosophy)
Education
Source: Self-asserted source
Vasily Shangin

Lomonosov Moscow State University: Moscow, RU

Philosophy Doctor (Candidate of Philosophical Sciences) (Department of Logic, Faculty of Philosophy)
Qualification
Source: Self-asserted source
Vasily Shangin

Works (26)

Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices

Logic Journal of the IGPL
2024-06-10 | Journal article
Part of ISSN: 1368-9894
Contributors: Marcin Jukiewicz; Marek Nasieniewski; Yaroslav Petrukhin; Vasily Shangin
Source: Self-asserted source
Vasily Shangin via Crossref Metadata Search

On Paracomplete Versions of Jaśkowski's Discussive Logic

Bulletin of the Section of Logic
2024-01-04 | Journal article
Contributors: Krystyna Mruczek-Nasieniewska; Yaroslav Petrukhin; Vasily Shangin
Source: check_circle
Crossref

A SUPRACLASSICAL PROBABILISTIC ENTAILMENT RELATION

Filosofiya. Zhurnal Vysshey Shkoly Ekonomiki
2023 | Journal article
EID:

2-s2.0-85181732079

Part of ISSN: 25878719
Contributors: Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier

Non-transitive Correspondence Analysis

Journal of Logic, Language and Information
2023 | Journal article
EID:

2-s2.0-85138223678

Part of ISSN: 15729583 09258531
Contributors: Petrukhin, Y.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier
grade
Preferred source (of 3)‎

Axiomatizing a Minimal Discussive Logic

Studia Logica
2023-10 | Journal article
Contributors: Oleg Grigoriev; Marek Nasieniewski; Krystyna Mruczek-Nasieniewska; Yaroslav Petrukhin; Vasily Shangin
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A classical first-order normalization procedure with $$\forall $$ and $$\exists $$ based on the Milne–Kürbis approach

Synthese
2023-07-31 | Journal article
Contributors: Vasily Shangin
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Reflections on the Russian Translation of A.M. Turing’s Paper “On Computable Numbers, with an Application to the Entscheidungsproblem”<sup>*</sup>

Voprosy Filosofii
2022 | Journal article
EID:

2-s2.0-85140039511

Part of ISSN: 00428744
Contributors: Shangin, V.O.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier

Correspondence Analysis for Some Fragments of Classical Propositional Logic

Logica Universalis
2021 | Journal article
EID:

2-s2.0-85100470052

Part of ISSN: 16618300 16618297
Contributors: Petrukhin, Y.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier
grade
Preferred source (of 5)‎

The Method of Socratic Proofs Meets Correspondence Analysis

Bulletin of the Section of Logic
2019-06 | Journal article
Part of ISSN: 2449-836X
Contributors: Dorota Leszczyńska-Jasion; Yaroslav Petrukhin; Vasilyi Shangin
Source: Self-asserted source
Vasily Shangin via Crossref Metadata Search
grade
Preferred source (of 2)‎

Correspondence analysis and automated proof-searching for first degree entailment

European journal of mathematics
2019-05-28 | Journal article
Contributors: Yaroslav Petrukhin; Vasily Shangin
Source: Self-asserted source
Vasily Shangin via Deutsche Nationalbibliothek (DNB)
grade
Preferred source (of 3)‎

Functional Completeness in CPL via Correspondence Analysis

Bulletin of the Section of Logic
2019-03 | Journal article
Part of ISSN: 2449-836X
Contributors: Dorota Leszczyńska-Jasion; Yaroslav Petrukhin; Vasilyi Shangin; Marcin Jukiewicz
Source: Self-asserted source
Vasily Shangin via Crossref Metadata Search
grade
Preferred source (of 2)‎

On Vidal's trivalent explanations for defective conditional in mathematics

Journal of Applied Non-Classical Logics
2019-01-02 | Journal article
Contributors: Yaroslav Petrukhin; Vasily Shangin
Source: check_circle
Crossref
grade
Preferred source (of 3)‎

Natural three-valued logics characterized by natural deduction

Logique et Analyse
2018 | Journal article
EID:

2-s2.0-85055285222

Part of ISSN: 00245836
Contributors: Petrukhin, Y.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier

Paracomplete logic Kl — Natural deduction, its automation,complexity and applications

Journal of Applied Logics
2018 | Journal article
EID:

2-s2.0-85054786053

Part of ISSN: 26319829 26319810
Contributors: Bolotov, A.; Kozhemiachenko, D.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier

Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

Logic and Logical Philosophy
2018-07-06 | Journal article
Part of ISSN: 2300-9802
Contributors: Yaroslav Petrukhin; Vasilyi Shangin
Source: Self-asserted source
Vasily Shangin via Crossref Metadata Search
grade
Preferred source (of 2)‎

A precise definition of an inference (by the example of natural deduction systems for logics I<sub>&lt;α,β&gt;</sub>)

Logical Investigations
2017 | Journal article
EID:

2-s2.0-85055254174

Part of ISSN: 24132713 20741472
Contributors: Olegovich, S.V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier

On Sublogics in Vasiliev Fragment of the Logic Definable with A. Arruda’s Calculus V1

The Logical Legacy of Nikolai Vasiliev and Modern Logic
2017-11-01 | Other
Contributors: Vladimir M. Popov; Vasily O. Shangin
Source: Self-asserted source
Vasily Shangin via Crossref Metadata Search

AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX

The Review of Symbolic Logic
2017-07-03 | Journal article
Part of ISSN: 1755-0203
Contributors: YAROSLAV PETRUKHIN; VASILY SHANGIN
Source: Self-asserted source
Vasily Shangin via Crossref Metadata Search
grade
Preferred source (of 2)‎

Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting

2014 IEEE 38th Annual Computer Software and Applications Conference
2014-07 | Other
Contributors: Alexander Bolotov; Vasilyi Shangin
Source: Self-asserted source
Vasily Shangin via Crossref Metadata Search
grade
Preferred source (of 2)‎

Natural deduction system in paraconsistent setting: Proof search for pcont

Journal of Intelligent Systems
2012 | Journal article
DOI:

10.1515/jisys-2011-0021

Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier
grade
Preferred source (of 3)‎

A simpler formulation of natural deduction calculus for linear-time temporal logic

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, IICAI 2007
2007 | Conference paper
EID:

2-s2.0-84872074863

Contributors: Bolotov, A.; Grigoriev, O.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier

Automated natural deduction for propositional linear-time temporal logic

Proceedings of the International Workshop on Temporal Representation and Reasoning
2007 | Conference paper
EID:

2-s2.0-47349097878

Contributors: Bolotov, A.; Grigoriev, O.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier
grade
Preferred source (of 2)‎

Natural deduction calculus for computation tree logic

Proceedings - IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, JVA 2006
2006 | Conference paper
EID:

2-s2.0-34547668591

Contributors: Bolotov, A.; Grigoriev, O.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier
grade
Preferred source (of 3)‎

Natural deduction calculus for linear-time temporal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Conference paper
EID:

2-s2.0-33750075176

Part of ISSN: 16113349 03029743
Contributors: Bolotov, A.; Basukoski, A.; Grigoriev, O.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier
grade
Preferred source (of 3)‎

Socratic proofs for quantifiers

Journal of Philosophical Logic
2006 | Journal article
DOI:

10.1007/s10992-005-9000-0

Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier
grade
Preferred source (of 3)‎

Automated first order natural deduction

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, IICAI 2005
2005 | Conference paper
EID:

2-s2.0-33750042135

Contributors: Bolotov, A.; Bocharov, V.; Gorchakov, A.; Shangin, V.
Source: Self-asserted source
Vasily Shangin via Scopus - Elsevier

Peer review (1 review for 1 publication/grant)

Review activity for Journal of logic, language and information. (1)