The following pages link to Alex Citkin (Q454374):
Displaying 14 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)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Structural completeness in quasivarieties (Q6516255) (← links)
