онтакты/ѕроезд  ƒоставка и ќплата ѕомощь/¬озврат
»стори€
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    ѕоиск книг                    ѕоиск по списку ISBN –асширенный поиск    
Ќайти
  «арубежные издательства –оссийские издательства  
јвторы |  аталог книг | »здательства | Ќовинки | ”чебна€ литература | јкции | Cертификаты | ’иты | | |
 

Substructural Logics: A Primer, Paoli F.



¬арианты приобретени€
÷ена: 22521р.
 ол-во:
 о цене
Ќаличие: ќтсутствует. ¬озможна поставка под заказ.

ѕри оформлении заказа до: 19 июл 2022
ќриентировочна€ дата поставки: јвгуст
ѕри условии наличи€ книги у поставщика.

ƒобавить в корзину
в ћои желани€

јвтор: Paoli F.
Ќазвание:  Substructural Logics: A Primer
ISBN: 9781402006050
»здательство: Springer
 лассификаци€:
ISBN-10: 1402006055
ќбложка/‘ормат: Hardback
—траницы: 318
¬ес: 0.631 кг.
ƒата издани€: 2002
—ери€: Trends in Logic
язык: English
»ллюстрации: 1, colour illustrations
–азмер: 23.72 x 17.68 x 2.29
„итательска€ аудитори€: Postgraduate, research & scholarly
ѕодзаголовок: A primer
—сылка на »здательство: Link
–ейтинг:
ѕоставл€етс€ из: √ермании
ƒополнительное описание: ‘ормат: 240x160
 руг читателей: Graduate students in philosophy, mathematics, theoretical computer science or theoretical linguistics
 лючевые слова:
язык: eng
ќглавление: The aim of the present book is to give a comprehensive account of the вАШstate of the artвАЩ of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.





Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics

јвтор: Ghilardi S., Zawadowski M.
Ќазвание: Sheaves, Games, and Model Completions / A Categorical Approach to Nonclassical Propositional Logics
ISBN: 1402006608 ISBN-13(EAN): 9781402006609
»здательство: Springer
–ейтинг:
÷ена: 17324 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraiss√© games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.

Alternative Logics. Do Sciences Need Them?

јвтор: Weingartner Paul
Ќазвание: Alternative Logics. Do Sciences Need Them?
ISBN: 3540407448 ISBN-13(EAN): 9783540407447
»здательство: Springer
–ейтинг:
÷ена: 16191 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: Initially proposed as rivals of classical logic, alternative logics have become increasingly important in sciences such as quantum physics, computer science, and artificial intelligence. The contributions collected in this volume address and explore the question whether the usage of logic in the sciences, especially in modern physics, requires a deviation from classical mathematical logic. The articles in the first part of the book set the scene by describing the context and the dilemma when applying logic in science. In part II the authors offer several logics that deviate in different ways from classical logics. The twelve papers in part III investigate in detail specific aspects such as quantum logic, quantum computation, computer-science considerations, praxic logic, and quantum probability. Most of the contributions are revised and partially extended versions of papers presented at a conference of the same title of the Acad√©mie Internationale de Philosophie des Sciences held at the Internationales Forschungszentrum Salzburg in May 1999. Others have been added to complete the picture of recent research in alternative logics as they have been developed for applications in the sciences.

Constraints in Computational Logics. Theory and Applications / International Summer School, CCL`99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

јвтор: Comon Hubert, Marche Claude, Treinen Ralf
Ќазвание: Constraints in Computational Logics. Theory and Applications / International Summer School, CCL`99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
ISBN: 3540419500 ISBN-13(EAN): 9783540419501
»здательство: Springer
–ейтинг:
÷ена: 6116 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

јвтор: Nikolaos Galatos
Ќазвание: Residuated Lattices: An Algebraic Glimpse at Substructural Logics
ISBN: 0444521410 ISBN-13(EAN): 9780444521415
»здательство: Elsevier Science
–ейтинг:
÷ена: 14322 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negati

Introduction to substructural logics

јвтор: Restall, Greg
Ќазвание: Introduction to substructural logics
ISBN: 041521534X ISBN-13(EAN): 9780415215343
»здательство: Taylor&Francis
–ейтинг:
÷ена: 4536 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: An introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.

Model-Theoretic Logics

јвтор: Barwise
Ќазвание: Model-Theoretic Logics
ISBN: 1107168252 ISBN-13(EAN): 9781107168251
»здательство: Cambridge Academ
–ейтинг:
÷ена: 22323 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.

Probabilistic Logics and Probabilistic Networks

јвтор: Haenni
Ќазвание: Probabilistic Logics and Probabilistic Networks
ISBN: 9400700075 ISBN-13(EAN): 9789400700079
»здательство: Springer
–ейтинг:
÷ена: 12704 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied - perhaps because they seem disparate, complicated, and computationally intractable. This programmatic book argues that several approaches to probabilistic logic fit into a simple unifying framework in which logically complex evidence is used to associate probability intervals or probabilities with sentences. Specifically, Part I shows that there is a natural way to present a question posed in probabilistic logic, and that various inferential procedures provide semantics for that question, while Part II shows that there is the potential to develop computationally feasible methods to mesh with this framework. The book is intended for researchers in philosophy, logic, computer science and statistics. A familiarity with mathematical concepts and notation is presumed, but no advanced knowledge of logic or probability theory is required.

Proof Theory for Fuzzy Logics

јвтор: George Metcalfe; Nicola Olivetti; Dov Gabbay
Ќазвание: Proof Theory for Fuzzy Logics
ISBN: 1402094086 ISBN-13(EAN): 9781402094088
»здательство: Springer
–ейтинг:
÷ена: 16169 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of `proof-theoretic` presentations of fuzzy logics.

Classical and non-classical logics

јвтор: Schechter, Eric
Ќазвание: Classical and non-classical logics
ISBN: 0691122792 ISBN-13(EAN): 9780691122793
»здательство: Wiley
–ейтинг:
÷ена: 13750 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: In this book, the author introduces classical logic alongside constructive, relevant, comparative, and other nonclassical logics. It begins with brief introductions to informal set theory and general topology, and avoids advanced algebra; thus it is self-contained and suitable for readers with little background in mathematics.

Bounded Variable Logics and Counting

јвтор: Otto
Ќазвание: Bounded Variable Logics and Counting
ISBN: 1107167949 ISBN-13(EAN): 9781107167940
»здательство: Cambridge Academ
–ейтинг:
÷ена: 13694 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

A General Algebraic Semantics for Sentential Logics

јвтор: Font
Ќазвание: A General Algebraic Semantics for Sentential Logics
ISBN: 1107167973 ISBN-13(EAN): 9781107167971
»здательство: Cambridge Academ
–ейтинг:
÷ена: 13694 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.

Many-Dimensional Modal Logics: Theory and Applications,148

јвтор: A. Kurucz
Ќазвание: Many-Dimensional Modal Logics: Theory and Applications,148
ISBN: 0444508260 ISBN-13(EAN): 9780444508263
»здательство: Elsevier Science
–ейтинг:
÷ена: 16517 р.
Ќаличие на складе: ѕоставка под заказ.

ќписание: Aims to study the computational behaviour of many-dimensional modal logics. This book is concerned with providing a mathematical foundation for this discipline, and shows that different applied many-dimensional systems fit in with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.


ќќќ "Ћогосфера " “ел:+7(495) 980-12-10 www.logobook.ru
   ¬  онтакте     ¬  онтакте ћед  ћобильна€ верси€