3 citations · 5 across the 9 of their papers we have counts for
Showing 2014 · math.LOShow all
3 papers · 2 filters
math.LO2014
A Meta-Logic of Inference Rules: Syntax
Alex Citkin
This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected…
math.LO2014★ 3 cited
Characteristic Formulas 50 Years Later (An Algebraic Account)
Alex Citkin
The Jankov (characteristic) formulas were introduced by V.Jankov fifty tears ago in 1963. Nowadays the Jankov (or frame) formulas are used in virtually every branch of propositiona…
math.LO2014
Ł-Axiomatizability in intermediate and normal modal logics
Alex Citkin
A set of formulas is complete relative to a given class of logics, if every logic from this class can be axiomatized by formulas from . A set of formulas is Ł-complete r…