Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics, Cintula Petr, Noguera Carles
Автор: David J. Pym Название: The Semantics and Proof Theory of the Logic of Bunched Implications ISBN: 1402007450 ISBN-13(EAN): 9781402007453 Издательство: Springer Рейтинг: Цена: 181670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Provides an account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. This monograph is aimed at graduates and researchers in mathematical logic, philosophical logic, computational logic and others.
Автор: Bremer, Manuel Название: Introduction to paraconsistent logics ISBN: 3631534132 ISBN-13(EAN): 9783631534137 Издательство: Peter Lang Рейтинг: Цена: 57290.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book shows that while globalization is a dominant force in society, and though news can be instantaneously broadcast internationally, there is relatively little commonality throughout the world in the depiction of events occurring in other countries. The research gathered here is based on a quantitative content analysis of over 17,000 news items and analysis of over 10,000 survey respondents.
Автор: Ribeiro Название: Belief Revision in Non-Classical Logics ISBN: 1447141857 ISBN-13(EAN): 9781447141853 Издательство: Springer Рейтинг: Цена: 37220.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others.
Автор: Sergei Odintsov Название: Larisa Maksimova on Implication, Interpolation, and Definability ISBN: 3319888625 ISBN-13(EAN): 9783319888620 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Sergei Odintsov Название: Larisa Maksimova on Implication, Interpolation, and Definability ISBN: 3319699164 ISBN-13(EAN): 9783319699165 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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
Автор: William Watkin Название: Badiou and Communicable Worlds: A Critical Introduction to Logics of Worlds ISBN: 1350177946 ISBN-13(EAN): 9781350177949 Издательство: Bloomsbury Academic Рейтинг: Цена: 100320.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Logics of Worlds stands as one of the most important texts in contemporary thought. Conceived as the sequel to Alan Badiou’s Being and Event, the book expands upon and elucidates the questions that were posed in the first book. As a complex theory of worlds, the text has, for the most part, been misunderstood, but in William Watkin’s diligent and critical close reading of the book, he makes the case for Logics of Worlds being the essential Badiou book for anyone interested in existence, meaning and the potential for radical change.
For Watkin, this recasting of ontology is followed by a transformation of logic, which is not only a theory of being, but of appearing and allows Badiou to give new meaning to the object, body and relation. To do this, he explores these concepts through architecture, astronomy and renowned thinkers such as Kant, Hegel and Kierkegaard. For students of French Continental philosophy, ontology and Badiou himself, Watkin’s commentary on the philosopher’s text provides a brilliant and incisive new interpretation of this underrated work by the leading Continental philosopher of our time.
Автор: Font Название: A General Algebraic Semantics for Sentential Logics ISBN: 1107167973 ISBN-13(EAN): 9781107167971 Издательство: Cambridge Academ Рейтинг: Цена: 121440.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the 1970s. It shows the results of this approach on a number of particular logics, and relates it to those developed by Blok, Czelakowski, Pigozzi and others.
Автор: Henry B. Veatch Название: Two Logics: The Conflict Between Classical and Neo-Analytic Philosophy ISBN: 3868382224 ISBN-13(EAN): 9783868382228 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 68370.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presents a consideration of the differences between Aristotelian and symbolic logic (and the metaphysical assumptions they come packaged with) and the consequences these have for how we view the world.
Автор: Jan Philipp Dapprich, Annika Schuster Название: Philosophy and Logic of Quantum Physics: An Investigation of the Metaphysical and Logical Implications of Quantum Physics ISBN: 3631667256 ISBN-13(EAN): 9783631667255 Издательство: Peter Lang Рейтинг: Цена: 43430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The book investigates the ontology and logic of quantum physics. The first part discusses the relationship of theory and observation and different views on the ontological status of scientific theories. It introduces the fundamentals of quantum mechanics and some of its interpretations and their compatibility with various ontological positions. In the second part, implications of quantum mechanics on classical logic, especially on the distributive law and bivalence, as discussed by Garrett Birkhoff & John von Neumann (1936) and Hilary Putnam (1968), and their counterarguments are reconstructed and discussed. It is concluded that classical logic is sufficient for dealing with quantum mechanical propositions.
Автор: Luca Vigan? Название: Labelled Non-Classical Logics ISBN: 1441949623 ISBN-13(EAN): 9781441949622 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.
Автор: Luca Vigan? Название: Labelled Non-Classical Logics ISBN: 0792377494 ISBN-13(EAN): 9780792377498 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.
Автор: Ackermann Robert Название: An Introduction to Many-Valued Logics ISBN: 0367426048 ISBN-13(EAN): 9780367426040 Издательство: Taylor&Francis Рейтинг: Цена: 33670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Originally published in 1967. An introduction to the literature of nonstandard logic, in particular to those nonstandard logics known as many-valued logics. This work combines criticism with exposition to form a comprehensive but concise survey of the field.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
