Vasilyi Shangin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A classical first-order normalization procedure with \(\forall\) and \(\exists\) based on the Milne-Kürbis approach Synthese	2026-03-31	Paper
On paracomplete versions of Jaśkowski's discussive logic Bulletin of the Section of Logic	2024-06-14	Paper
Axiomatizing a minimal discussive logic Studia Logica	2023-10-26	Paper
Non-transitive correspondence analysis Journal of Logic, Language and Information	2023-06-14	Paper
Correspondence analysis for some fragments of classical propositional logic Logica Universalis	2021-05-05	Paper
Correspondence analysis and automated proof-searching for first degree entailment European Journal of Mathematics	2021-04-20	Paper
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis Logic and Logical Philosophy	2020-02-11	Paper
Functional Completeness in CPL via Correspondence Analysis Bulletin of the Section of Logic	2019-10-31	Paper
The method of Socratic proofs meets correspondence analysis Bulletin of the Section of Logic	2019-10-31	Paper
Natural three-valued logics characterized by natural deduction	2019-10-28	Paper
On Vidal's trivalent explanations for defective conditional in mathematics Journal of Applied Non-Classical Logics	2019-05-08	Paper
Automated correspondence analysis for the binary extensions of the logic of paradox The Review of Symbolic Logic	2018-01-17	Paper

Research outcomes over time

This page was built for person: Vasilyi Shangin