Larisa Maksimova on Implication, Interpolation, and Definability - Couverture rigide
Livre 13 sur 29: Outstanding Contributions to Logic
Synopsis
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Sergei Odintsov is a leading researcher of Sobolev Institute of Mathematics (Novosibirsk, Russian Federation). He is known for his work in algorithm theory and non-classical logic, including paraconsistent logics, constructive logics, semantics of logic programs. Moreover, he is an associated editor of the journal Studia Logica (Springer), a member of the editorial boards of the journal Logica Universalis (Birkhauser) and of the book series Trends in Logic (Springer).
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Larisa Maksimova on Implication, Interpolation, and...
Image d'archives
Larisa Maksimova on Implication, Interpolation, and Definability (Outstanding Contributions to Logic, 15)
Vendeur : Singing Saw Books, Portland, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. New. N° de réf. du vendeur 131130987
Acheter neuf
EUR 42,54
Expédition à EUR 4,39
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Larisa Maksimova on Implication, Interp (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 3 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur ea7d17bab41b2ef89b4fc325e694e500
Acheter neuf
EUR 46,22
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Larisa Maksimova on Implication, Interpolation, and Definability
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 30245822-n
Acheter neuf
EUR 53,88
Expédition à EUR 2,32
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Larisa Maksimova on Implication, Interpolation, and Definability (Outstanding Contributions to Logic, 15)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783319699165
Acheter neuf
EUR 61,55
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Larisa Maksimova on Implication, Interpolation, and Definability
Edité par
Springer, 2018
ISBN 10 : 3319699164
ISBN 13 : 9783319699165
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 30245822
Acheter D'occasion
EUR 63,15
Expédition à EUR 2,32
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Larisa Maksimova on Implication, Interpolation, and Definability (Outstanding Contributions to Logic, 15)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783319699165_new
Acheter neuf
EUR 60,69
Expédition à EUR 13,90
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Larisa Maksimova on Implication, Interpolation, and Definability
Edité par
Springer International Publishing Feb 2018, 2018
ISBN 10 : 3319699164
ISBN 13 : 9783319699165
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics. Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will be able to trace both influences on her work, and the ways in which her work has influenced other logicians. In the historical part of this book, it is possible to trace important milestones in Maksimova's career. Early on, she developed an algebraic semantics for relevance logics and relational semantics for the logic of entailment. Later, Maksimova discovered that among the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logics and for extensions of S4. Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems (different versions of interpolation and definability, disjunction property, etc.) in big classes of logics, and on decidability and recognizability of such properties. To this end she determined a powerful combination of algebraic and semantic methods, which essentially determine the modern state of investigations in the area, as can be seen in the later chapters of this book authored by leading experts in non-classical logics. These original contributions bring the reader up to date on the very latest work in this field. 384 pp. Englisch. N° de réf. du vendeur 9783319699165
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Larisa Maksimova on Implication, Interpolation, and Definability
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 30245822-n
Acheter neuf
EUR 60,68
Expédition à EUR 17,40
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Larisa Maksimova On Implication Interp
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9783319699165
Acheter neuf
EUR 70,41
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Larisa Maksimova on Implication, Interpolation, and Definability
Edité par
Springer, 2018
ISBN 10 : 3319699164
ISBN 13 : 9783319699165
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 30245822
Acheter D'occasion
EUR 66,84
Expédition à EUR 17,40
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles