Yankov Characteristic Formulas (An Algebraic Account)

DOI10.1007/978-3-031-06843-0_5OpenAlexW4312402152MaRDI QIDQ5886458FDOQ5886458

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

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

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)

Cites Work

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

Cited In (4)

• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• V. Yankov’s Contributions to Propositional Logic
• An Application of the Yankov Characteristic Formulas
• Title not available (Why is that?)

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)