Alex Citkin

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Unified deductive systems: an outline	2024-01-10	Paper
On finitely-generated Johansson algebras	2023-07-18	Paper
Yankov Characteristic Formulas (An Algebraic Account)	2023-04-05	Paper
V. Yankov’s Contributions to Propositional Logic	2023-04-05	Paper
Deductive systems with unified multiple-conclusion rules	2023-01-12	Paper
Consequence Relations	2022-10-24	Paper
Consequence Relations An Introduction to the Tarski-Lindenbaum Method	2021-06-21	Paper
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS	2020-08-26	Paper
Deductive systems with multiple-conclusion rules and the disjunction property	2020-03-24	Paper
Characteristic Formulas Over Intermediate Logics	2020-02-05	Paper
A Generalization of Maksimova’s Criterion for the Disjunction Property	2020-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5224564	2019-07-24	Paper
Lindenbaum Method	2019-01-16	Paper
Projective algebras and primitive subquasivarieties in varieties with factor congruences	2018-10-30	Paper
Hereditarily structurally complete superintuitionistic deductive systems	2018-10-02	Paper
Admissibility in positive logics	2018-01-12	Paper
Multiple Conclusion Rules in Logics with the Disjunction Property	2017-07-21	Paper
A meta-logic of inference rules: Syntax	2017-05-18	Paper
Algebraic logic perspective on Prucnal's substitution	2016-12-15	Paper
Lindenbaum method (propositional language)	2016-09-23	Paper
Characteristic inference rules	2015-04-29	Paper
{\L}-Axiomatizability in intermediate and normal modal logics	2014-07-22	Paper
Characteristic Formulas 50 Years Later (An Algebraic Account)	2014-07-22	Paper
JANKOV-STYLE FORMULAS AND REFUTATION SYSTEMS	2014-04-25	Paper
Characteristic formulas of partial Heyting algebras	2013-08-06	Paper
Not every splitting Heyting or interior algebra is finitely presentable	2012-10-01	Paper
Metalogic of intuitionistic propositional calculus	2010-12-01	Paper
Structural completeness in quasivarieties	N/A	Paper

Research outcomes over time

This page was built for person: Alex Citkin