Larisa Maksimova on Implication, Interpolation, and Definability

Larisa Maksimova on Implication, Interpolation, and Definability

Springer International Publishing AG

06/2019

371

Mole

Inglês

9783319888620

15 a 20 dias

587

Descrição não disponível.
Chapter 1. Sergei Odintsov, Maksimova, Relevance and the Study of Lattices of Non-classical Logics Chapter 2. Larisa Maksimova, A Short Scientific Autobiography Chapter 3. Katalin Bimbo and J. Michael Dunn, Larisa Maksimova's Early Contributions to Relevance Logic Chapter 4. Lev Beklemishev, A Note on Strictly Positive Logics and Word Rewriting Systems Chapter 5. Alex Citkin, Characteristic Formulas over Intermediate Logics Chapter 6. Alex Citkin, Criterion of Generelazed Disjunction Property Chapter 7. Janusz Czelakowski, Rasiowa-Sikorski Sets and Forsing Chapter 8. Giovanna D'Agostino, -Levels of Interpolation Chapter 9. Anastasia Karpenko, Decidability of Interpolation Properties for Weakly Transitive Modal Logics Chapter 10. Alexei Muravitski, Lattice NExtS4 from the Embedding Theorem Viewpoint Chapter 11. Vladimir Rybakov, Linear Temporal Logic with Non-Transitive Time, Algorithms for Decidability and Verification of Admissibility Chapter 12. Dmitry Tishkovsky, On Algebraisation of Superintuitionistic Predicate Logics Chapter 13. Valentin Shehtman, Segerberg Squares of Modal Logics and Theories of Relation Algebras Chapter 14. Aleksandr Yashin, Dummett Logic, Irreflexive Modality, and Novikov Completeness Chapter 15. Veta Yun, On Linear Logic of Knowledge and Time Appendix: A Complete List of Larisa Maximova's Publications
Larisa Maximova;Rigorous Implication;Relevance Logic Maksimova;Lattice of Logics;Algebraic Logic Maksimova;Modal Logic Maksimova;Interpolation Maksimova;Definability Maksimova;Superintuitionistic Logic;Admissible Rule;Decidability Maksimova;Maksimova Non-classical Logic;Relational Semantics;Algebraic Semantics;Relevance Logics;Logic of Entailment;Superintuitionistic Logic;Polymodal Logic;Disjunction Property;-Calculus