V. Yankov’s Contributions to Propositional Logic

DOI10.1007/978-3-031-06843-0_2OpenAlexW4312536037MaRDI QIDQ5886455

Alex Citkin

Publication date: 5 April 2023

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

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

zbMATH Keywords

Heyting algebraintermediate logicpositive logicYankov's logiccharacteristic formulaweak law of excluded middleimplicative latticelogic of realizabilityYankov's formula

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Intermediate logics (03B55) Other generalizations of distributive lattices (06D75)

Cites Work

• 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
• On intermediate many-valued logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Constructive negations and paraconsistency
• An algebraic approach to non-classical logics
• Tools and techniques in modal logic
• Characteristic formulas of partial Heyting algebras
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• A remark on the s. c. free closure algebras
• A Survey of Propositional Realizability Logic
• Decidability problem for finite Heyting algebras
• On formulas of one variable in intuitionistic propositional calculus
• Splitting lattices of logics
• Brouwerian Semilattices
• An incomplete logic containing S4
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• THREE SEQUENCES OF FORMULAS WITH TWO VARIABLES IN THE POSITIVE PROPOSITIONAL LOGIC
• Recursive Functions and Intuitionistic Number Theory
• Propositional Calculus and Realizability

This page was built for publication: V. Yankov’s Contributions to Propositional Logic