Sergei odintsov (17 Ergebnisse)
Sprache: Englisch
Verlag: Springer 2019
Serie: Outstanding Contributions to Logic, Buch 13 von 29. Buch 13 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,69
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 2018
Serie: Outstanding Contributions to Logic, Buch 13 von 29. Buch 13 von 29 - Outstanding Contributions to Logic
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,69
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer Verlag 2019
Serie: Outstanding Contributions to Logic, Buch 13 von 29. Buch 13 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,57
EUR 14,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 384 pages. 9.25x6.10x0.87 inches. In Stock.
Sprache: Englisch
Verlag: Springer 2018
Serie: Outstanding Contributions to Logic, Buch 13 von 29. Buch 13 von 29 - Outstanding Contributions to Logic
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 88,76
EUR 9,23 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer 2018
Serie: Outstanding Contributions to Logic, Buch 13 von 29. Buch 13 von 29 - Outstanding Contributions to Logic
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 83,65
EUR 14,50 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 383 pages. 9.25x6.10x1.10 inches. In Stock.
Sprache: Englisch
Verlag: Springer 2008
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,30
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing 2019
Serie: Outstanding Contributions to Logic, Buch 13 von 29. Buch 13 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,91 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Sprache: Englisch
Verlag: Springer International Publishing 2018
Serie: Outstanding Contributions to Logic, Buch 13 von 29. Buch 13 von 29 - Outstanding Contributions to Logic
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,70 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 al…gebraic 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.
Sprache: Englisch
Verlag: Springer 2019
Serie: Outstanding Contributions to Logic, Buch 13 von 29. Buch 13 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Larisa Maksimova on Implication, Interpolation, and Definability | Sergei Odintsov | Taschenbuch | Outstanding Contributions to Logic | xii | Englisch | 2019 | Springer | EAN 9783319888620 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartma…nn[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer 2008
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,75
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 2008
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 146,44
EUR 7,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 252 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Sprache: Englisch
Verlag: Springer 2008
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 147,54
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 252.
Sprache: Englisch
Verlag: Springer Netherlands 2008
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 154,72
EUR 11,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 248 pages. 8.90x5.98x0.63 inches. In Stock.
Weitere BilderSprache: Englisch
Verlag: Springer 2010
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Constructive Negations and Paraconsistency | Sergei Odintsov | Taschenbuch | vi | Englisch | 2010 | Springer | EAN 9789048177448 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer 2010
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 164,69
EUR 13,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer Netherlands, Springer Netherlands 2010
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 112,77
EUR 61,91 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the author's recent investigations ofthe two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of p…araconsistent logic.The paraconsistent logics are those, which admit inconsistent but non-trivial theories, i.e., the logics which allow making inferences in non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. In the intuitionistic logic Li, the negation is defined as reduction to absurdity. The concept of strong negation is realized in the Nelson logic N3. Both logics are explosive and have paraconsistent analogs: Johansson's logic Lj and paraconsistent Nelson's logic N4. It will be shown that refusing the explosion axiom 'contradiction implies everything' does not lead to decrease of the expressive power of a logic. To understand, which new expressive possibilities have the logics Lj and N4 as compared to the explosive logics Li and N3, we study the lattices of extensions of the logics Lj and N4. This is the first case when lattices of paraconsistent logics are systematically investigated. The study is based on algebraic methods, demonstrates the remarkable regularity and the similarity of structures of both lattices of logics, and gives essential information on the paraconsistent nature of logics Lj and N4.The methods developed in this book can be applied for investigation of other classes of paraconsistent logics.
Sprache: Englisch
Verlag: Springer 2008
Serie: Trends in Logic, Buch 9 von 53. Buch 9 von 53 - Trends in Logic
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,36
EUR 62,95 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the author's recent investigations ofthe two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paracons…istent logic.The paraconsistent logics are those, which admit inconsistent but non-trivial theories, i.e., the logics which allow making inferences in non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. In the intuitionistic logic Li, the negation is defined as reduction to absurdity. The concept of strong negation is realized in the Nelson logic N3. Both logics are explosive and have paraconsistent analogs: Johansson's logic Lj and paraconsistent Nelson's logic N4. It will be shown that refusing the explosion axiom 'contradiction implies everything' does not lead to decrease of the expressive power of a logic. To understand, which new expressive possibilities have the logics Lj and N4 as compared to the explosive logics Li and N3, we study the lattices of extensions of the logics Lj and N4. This is the first case when lattices of paraconsistent logics are systematically investigated. The study is based on algebraic methods, demonstrates the remarkable regularity and the similarity of structures of both lattices of logics, and gives essential information on the paraconsistent nature of logics Lj and N4.The methods developed in this book can be applied for investigation of other classes of paraconsistent logics.
