I. A. Gorbunov

Available identifiers

zbMath Open gorbunov.igor-anatolevichMaRDI QIDQ2063678

List of research outcomes

Publication	Date of Publication	Type
Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms	2023-10-12	Paper
Вполне-определённые логики	2023-03-17	Paper
Theories of propositional logics and the converse of substitution	2023-01-23	Paper
On independent axiomatizability of quasi-normal modal logics	2022-10-04	Paper
Theories of the classical propositional logic and substitutions	2022-01-11	Paper
Finite axiomatizability of quasi-normal modal logics	2020-09-17	Paper
Theories in classical propositional logic and the converse of substitution	2020-06-25	Paper
Characteristic theories and inversion of substitution	2020-03-06	Paper
Logic, unity in three persons	2019-05-16	Paper
Дедуктивные логики и их связь с интуиционистской логикой	2018-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q3108629	2012-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q3567761	2010-06-17	Paper
Continuum classes of logics	2008-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3509056	2008-07-01	Paper

Research outcomes over time

This page was built for person: I. A. Gorbunov