The following pages link to Alex Citkin (Q454374):
Displayed 50 items.
- Propositional logics of dependence (Q278765) (← links)
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- Forbidden configurations and subframe varieties (Q331025) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Bilattices with implications (Q368472) (← links)
- Abstract valuation semantics (Q368484) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- Metalogic of intuitionistic propositional calculus (Q609765) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev (Q1722781) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Metacompleteness of substructural logics (Q1935554) (← links)
- Constrained consequence (Q1941731) (← links)
- Relative contingency and bimodality (Q1945710) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- Justification logic with confidence (Q2193973) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Simple axiomatizations for pretabular classical relevance logics (Q2307305) (← links)
- Characteristic inference rules (Q2342800) (← links)
- Algebraic logic perspective on Prucnal's substitution (Q2374392) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- New constants in the superintuitionistic logic L2 (Q2440003) (← links)
- A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Consequence Relations (Q5044285) (← links)
- Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- (Q5224564) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- JANKOV-STYLE FORMULAS AND REFUTATION SYSTEMS (Q5412441) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- On finitely-generated Johansson algebras (Q6116351) (← links)
- Unified deductive systems: an outline (Q6146292) (← links)
- {\L}-Axiomatizability in intermediate and normal modal logics (Q6253349) (← links)
- Characteristic Formulas 50 Years Later (An Algebraic Account) (Q6253351) (← links)
- Lindenbaum method (propositional language) (Q6277857) (← links)
- Lindenbaum Method (Q6312561) (← links)