2014/07/22 by Alex Citkin, Citkin, Alex · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.1407.5823
openalex publication_date 2014/07/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 propositional logic: intermediate, modal, fuzzy, relevant, many-valued, etc. All these different logics have one thing in common: in one form or the other, they admit the deduction theorem. From a standpoint of algebraic logic it means that their corresponding varieties have a ternary deductive (TD) term. It is natural to extend the notion of characteristic formula to such varieties and, thus, apply this notion to an even broader class of logics, namely, to the logics which algebraic semantic is a variety with a TD term.