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
intermediate logicfinitely presentable algebracharacteristic formulaternary deductive termindependent axiomatizabilityalgebraic semanticYankov's formula
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)
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)