Yankov Characteristic Formulas (An Algebraic Account)
From MaRDI portal
Publication:5886458
DOI10.1007/978-3-031-06843-0_5OpenAlexW4312402152MaRDI QIDQ5886458
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
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)
Related Items
Cites Work
- Not every splitting Heyting or interior algebra is finitely presentable
- Finite axiomatizability of locally tabular superintuitionistic logics
- Positive universal classes in locally finite varieties
- On intermediate many-valued logics
- Residuated lattices. An algebraic glimpse at substructural logics
- \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members
- Tools and techniques in modal logic
- Admissibility of logical inference rules
- On the structure of varieties with equationally definable principal congruences. III
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Free Łukasiewicz and hoop residuation algebras
- On the structure of paraconsistent extensions of Johansson's logic
- On the structure of varieties with equationally definable principal congruences. I
- Varieties of BL-algebras. III: Splitting algebras
- Characteristic formulas of partial Heyting algebras
- An infinitary extension of Jankov's theorem
- The lattice of extensions of the minimal logic
- Decidability problem for finite Heyting algebras
- Finite and finitely separable intermediate propositional logics
- Splitting lattices of logics
- An ascending chain of S4 logics
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- Remark on a finite axiomatization of finite intermediate propositional logics
- On the Independent Axiomatizability of Modal and Intermediate Logics
- Tense Logic Without Tense Operators
- Characteristic Formulas Over Intermediate Logics
- Algebras Whose Congruence Lattices are Distributive.
- Equational Bases and Nonmodular Lattice Varieties
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item