Yankov Characteristic Formulas (An Algebraic Account)

DOI10.1007/978-3-031-06843-0_5MaRDI QIDQ5886458zbMATH OpenOpenAlexFDO

Authors Alex Citkin

Publication date 5 April 2023

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.5823

zbMATH Keywords

intermediate logicfinitely presentable algebracharacteristic formulaternary deductive termindependent axiomatizabilityalgebraic semanticYankov's formula

Mathematics Subject Classification ID

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

Recommendations

• An Application of the Yankov Characteristic Formulas
• V. A. Yankov on non-classical logics, history and philosophy of mathematics
• V. Yankov’s Contributions to Propositional Logic
• Characteristic formulas of partial Heyting algebras
• Characteristic formulas over intermediate logics

Cites work

• scientific article; zbMATH DE number 4059361 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3463707 (Why is no real title available?)
• scientific article; zbMATH DE number 3496231 (Why is no real title available?)
• scientific article; zbMATH DE number 1226187 (Why is no real title available?)
• scientific article; zbMATH DE number 1354940 (Why is no real title available?)
• scientific article; zbMATH DE number 1114355 (Why is no real title available?)
• scientific article; zbMATH DE number 2024625 (Why is no real title available?)
• scientific article; zbMATH DE number 3450270 (Why is no real title available?)
• scientific article; zbMATH DE number 5268066 (Why is no real title available?)
• scientific article; zbMATH DE number 3230245 (Why is no real title available?)
• scientific article; zbMATH DE number 3231073 (Why is no real title available?)
• scientific article; zbMATH DE number 3231075 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3304009 (Why is no real title available?)
• scientific article; zbMATH DE number 3310052 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3419181 (Why is no real title available?)
• Admissibility of logical inference rules
• Algebras Whose Congruence Lattices are Distributive.
• An ascending chain of S4 logics
• An infinitary extension of Jankov's theorem
• Characterisations of Nelson algebras
• Characteristic formulas of partial Heyting algebras
• Characteristic formulas over intermediate logics
• Decidability problem for finite Heyting algebras
• Equational Bases and Nonmodular Lattice Varieties
• Finite and finitely separable intermediate propositional logics
• Finite axiomatizability of locally tabular superintuitionistic logics
• Free Łukasiewicz and hoop residuation algebras
• Not every splitting Heyting or interior algebra is finitely presentable
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• On intermediate many-valued logics
• On the Independent Axiomatizability of Modal and Intermediate Logics
• On the structure of paraconsistent extensions of Johansson's logic
• On the structure of varieties with equationally definable principal congruences. I
• On the structure of varieties with equationally definable principal congruences. III
• Positive universal classes in locally finite varieties
• Remark on a finite axiomatization of finite intermediate propositional logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Splitting lattices of logics
• Tense Logic Without Tense Operators
• The lattice of extensions of the minimal logic
• Tools and techniques in modal logic
• Varieties of BL-algebras. III: Splitting algebras
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members

Cited in

(5)

• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• V. Yankov’s Contributions to Propositional Logic
• An Application of the Yankov Characteristic Formulas
• scientific article; zbMATH DE number 1408280 (Why is no real title available?)
• Characteristic Formulas 50 Years Later (An Algebraic Account)

This page was built for publication: Yankov Characteristic Formulas (An Algebraic Account)

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