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
V. Yankov’s Contributions to Propositional Logic	2023-04-05	Paper
Yankov Characteristic Formulas (An Algebraic Account)	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alex Citkin