An Algebraic Proof of the Nishimura Theorem von Citkin, Alex

Volltext

On Finitely-Generated Johansson Algebras von Citkin, Alex

Volltext

Unified Deductive Systems: An Outline von Citkin, Alex

Volltext

Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property von Citkin, Alex

Volltext

Preface to the Rejection Special Issue von Citkin, Alex, Muravitsky, Alexei

Volltext

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics von Citkin, Alex, Vandoulakis, Ioannis M

Volltext

Deductive Systems in Traditional and Modern Logic von Citkin, Alex, Wybraniec-Skardowska, Urszula

Volltext

HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS von CITKIN, ALEX

Volltext

Hereditarily Structurally Complete Superintuitionistic Deductive Systems von Citkin, Alex

Volltext

Deductive systems with unified multiple-conclusion rules von Citkin, Alex

Volltext

Projective algebras and primitive subquasivarieties in varieties with factor congruences von Citkin, Alex

Volltext

V. A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics von Citkin, Alex, Vandoulakis, Ioannis M

Volltext

Admissibility in Positive Logics von Citkin, Alex

Volltext

A meta-logic of inference rules: Syntax von Citkin, Alex

Volltext

Algebraic Logic Perspective on Prucnal’s Substitution von Citkin, Alex

Volltext

Deductive Systems in Traditional and Modern Logic

Volltext

Characteristic Inference Rules von Citkin, Alex

Volltext

Not Every Splitting Heyting or Interior Algebra is Finitely Presentable von Citkin, Alex

Volltext

Characteristic Formulas of Partial Heyting Algebras von Citkin, Alex

Volltext

Jankov-style Formulas and Refutation Systems von Citkin, Alex

Volltext