Characteristic Formulas 50 Years Later (An Algebraic Account)

DOI10.1007/978-3-031-06843-0_5MaRDI QIDQ6253351arXivFDO

Authors Alex Citkin

Publication date 22 July 2014

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-031-06843-0_5

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx) Other algebras related to logic (03G25)

arXiv classification

math.LO

Abstract: 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.

This page was built for publication: Characteristic Formulas 50 Years Later (An Algebraic Account)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6253351)