Login

Odintsov, Sergei

Larisa Maksimova on Implication, Interpolation, and Definability

Odintsov, Sergei - Larisa Maksimova on Implication, Interpolation, and Definability, ebook

133,75€

Ebook, PDF with Adobe DRM
ISBN: 9783319699172
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Maksimova, Relevance and the Study of Lattices of Non-classical Logics
Sergei Odintsov

2. A Short Scientific Autobiography
Larisa Maksimova

3. Larisa Maksimova’s Early Contributions to Relevance Logic
Katalin Bimbó, J. Michael Dunn

4. A Note on Strictly Positive Logics and Word Rewriting Systems
Lev Beklemishev

5. Characteristic Formulas Over Intermediate Logics
Alex Citkin

6. A Generalization of Maksimova’s Criterion for the Disjunction Property
Alex Citkin

7. Rasiowa–Sikorski Sets and Forcing
Janusz Czelakowski

8.





]]>
μ
]]>

-Levels of Interpolation
Giovanna D’Agostino

9. Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
Anastasia Karpenko

10. Lattice NExtS4 from the Embedding Theorem Viewpoint
Alexei Muravitsky

11. Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
Vladimir V. Rybakov

12. Segerberg Squares of Modal Logics and Theories of Relation Algebras
Valentin Shehtman

13. On Algebraisation of Superintuitionistic Predicate Logics
Dmitry Tishkovsky

14. Dummett Logic, Irreflexive Modality and Novikov Completeness
Alexander Yashin

15. On Linear Logic of Knowledge and Time
Veta F. Yun

Keywords: Philosophy, Logic, Mathematical Logic and Foundations, Logics and Meanings of Programs, Analytic Philosophy, Arithmetic and Logic Structures

Editor
Publisher
Springer
Publication year
2018
Language
en
Edition
1
Series
Outstanding Contributions to Logic
Category
Philosophy
Format
Ebook
eISBN (PDF)
9783319699172
Printed ISBN
978-3-319-69916-5

Similar titles