Vasilyi Shangin

Available identifiers

Publication	Date of Publication	Type
On paracomplete versions of Jaśkowski's discussive logic	2024-06-14	Paper
Axiomatizing a minimal discussive logic	2023-10-26	Paper
Non-transitive correspondence analysis	2023-06-14	Paper
Correspondence analysis for some fragments of classical propositional logic	2021-05-05	Paper
Correspondence analysis and automated proof-searching for first degree entailment	2021-04-20	Paper
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis	2020-02-11	Paper
Functional Completeness in CPL via Correspondence Analysis	2019-10-31	Paper
The method of Socratic proofs meets correspondence analysis	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	2019-05-08	Paper
Automated correspondence analysis for the binary extensions of the logic of paradox	2018-01-17	Paper

This page was built for person: Vasilyi Shangin