{"title":"Studies In Logic","description":"\u003cp\u003eDelve into the depths of reasoning with the Studies in Logic series. From mathematical foundations to philosophical inquiries, explore critical thought with these essential volumes for any logic enthusiast.\u003c\/p\u003e","products":[{"product_id":"handbook-of-paraconsistency-book-jean-yves-beziau-9781904987734","title":"Handbook of Paraconsistency","description":"Paraconsistent logics are logics which allow solid deductive reasoning under contradictions by offering a mathematical and philosophical support to contradictory yet non-trivial theories. Due to its role in models of scientific reasoning and to its philosophical implications, as well as to its connections to topics such as abduction, automated reasoning, logic programming, and belief revision, paraconsistency has becoming a fast growing area. During the I World Congress on Paraconsistency (WCP3) held in Toulouse, France, in July, 2003, it became apparent that there is a need for a Handbook covering the most recent results on several aspects of paraconsistent logic, including philosophical debates on paraconsistency and its connections to philosophy of language, argumentation theory, computer science, information theory, and artificial intelligence. This book is a basic tool for those who want to know more about paraconsistent logic, its history and philosophy, the various systems of paraconsistent logic and their applications. The present volume is edited by Jean-Yves Beziau, Walter Carnielli and Dov Gabbay, expert logicians versed in a variety of logics.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51053860225297,"sku":"NIN9781904987734","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52128770490641,"sku":"NLS9781904987734","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1904987737.jpg?v=1750997310"},{"product_id":"introduction-to-propositional-satisfiability-book-victor-marek-9781848901391","title":"Introduction to Propositional Satisfiability","description":"Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that the domains of variables are finite. As such, propositional logic finds applications in describing problems stemming from computer science, computer engineering and combinatorial optimization. But logic goes beyond just providing descriptive means - it is supported by mechanisms for computation of answers. At present there is a class of software systems, SAT solvers, that allow (given enough of resources) for solving problems expressed in propositional logic. This book studies syntax, semantics, and algorithms for finding solutions of problems expressible in propositional logic. It is addressed to individuals who want to understand the principles on which SAT solvers are based and gain a deeper understanding of techniques used in logic-based solving.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51057353490705,"sku":"NIN9781848901391","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51399418708241,"sku":"NGR9781848901391","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52665452396817,"sku":"NLS9781848901391","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848901399.jpg?v=1751346764"},{"product_id":"intuitionistic-set-theory-book-john-l-bell-9781848901407","title":"Intuitionistic Set Theory","description":"While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in part because, as a form of higher-order intuitionistic logic - the internal logic of a topos - IST has been chiefly developed in a tops-theoretic context. In particular, proofs of relative consistency with IST for mathematical assertions have been (implicitly) formulated in topos- or sheaf-theoretic terms, rather than in the framework of Heyting-algebra-valued models, the natural extension to IST of the well-known Boolean-valued models for classical set theory. In this book I offer a brief but systematic introduction to IST which develops the subject up to and including the use of Heyting-algebra-valued models in relative consistency proofs. I believe that IST, presented as it is in the familiar language of set theory, will appeal particularly to those logicians, mathematicians and philosophers who are unacquainted with the methods of topos theory.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51057360011537,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51057362305297,"sku":"NIN9781848901407","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52679926055185,"sku":"NLS9781848901407","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848901402.jpg?v=1751027532"},{"product_id":"proof-theoretical-coherence-book-kosta-dosen-9781904987062","title":"Proof-Theoretical Coherence","description":"This book in categorial proof theory formulates in terms of category theory a generalization close to linear algebra of the notions of distributive lattice and Boolean algebra. These notions of distributive lattice category and Boolean category codify a plausible nontrivial notion of identity of proofs in classical propositional logic, which is in accordance with Gentzen's cut-elimination procedure for multiple-conclusion sequents modified by admitting new principles called union of proofs and zero proofs. It is proved that these notions of category are coherent in the sense that there is a faithful structure-preserving functor from freely generated distributive lattice categories and Boolean categories into the category whose arrows are relations between finite ordinals-a category related to generality of proofs and to the notion of natural transformation. These coherence results yield a simple decision procedure for equality of proofs. Coherence in the same sense is also proved for various more general notions of category that enter into the notions of distributive lattice category and Boolean category. Some of these coherence results, like those for monoidal and symmetric monoidal categories are well known, but are here presented in a new light. The key to this categorification of the proof theory of classical propositional logic is distribution of conjunction over disjunction that is not an isomorphism as in cartesian closed categories.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51294091575569,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51294093050129,"sku":"NIN9781904987062","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52136599912721,"sku":"NLS9781904987062","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1904987060.jpg?v=1750835191"},{"product_id":"foundations-of-the-formal-sciences-book-benedikt-lowe-9781904987291","title":"Foundations of the Formal Sciences","description":"This volume takes a reflective position with respect to the conference series Foundations of the Formal Sciences (FotFS) and asks: * What are the Formal Sciences? * Can we develop a theoretical classification of the sciences that juxtaposes the formal sciences to the natural sciences, social sciences, and humanities? Can we do this solely by identifying common methodological features? * Can we identify changes of the notion of formal sciences over time? How were the areas that we now conceived as the Foundations of the Formal Sciences classified throughout history? Investigating the History of the Concept of the Formal Sciences to find answers to an array of questions with this wide scope, you need an enthusiastic group of researchers interested in going beyond the traditional boundaries of their subjects covering at once the philosophical, historical and logical issues at hand, like the authors of this volume. The papers in this volume stand witness to our success in touching the mentioned questions. It will be of interest to philosophers, sociologists, historians, and logicians, and covers many aspects of the history of the formal sciences from the Bronze Age to the early XIst century.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52140216287505,"sku":"NLS9781904987291","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781904987291.jpg?v=1757573275"},{"product_id":"algebra-logic-set-theory-book-benedikt-loewe-9781904987284","title":"Algebra, Logic, Set Theory","description":"This volume is both a tribute to Ulrich Felgner's research in algebra, logic, and set theory and a strong research contribution to these areas. Felgner's former students, friends and collaborators have contributed sixteen papers to this volume that highlight the unity of these three fields in the spirit of Ulrich Felgner's own research.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52143960621329,"sku":"NLS9781904987284","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781904987284.jpg?v=1757586767"},{"product_id":"games-iteration-numbers-book-luca-m-possati-9781848902985","title":"Games Iteration Numbers","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52648395604241,"sku":"NLS9781848902985","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52755781976337,"sku":"NIN9781848902985","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781848902985.jpg?v=1762042085"},{"product_id":"metalogical-contributions-to-the-nonmonotonic-theory-of-abstract-argumentation-book-ringo-baumann-9781848901438","title":"Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation","description":"Argumentation is the interdisciplinary study of how conclusions can be reached through the construction and evaluation of arguments, that is, structures describing a proposition together with the reasons for accepting it. The field has received growing interest within Artificial Intelligence over the last decades. It covers aspects of knowledge representation and multi-agent systems, but also touches on various philosophical questions. Phan Minh Dung's abstract argumentation frameworks (AFs) play a dominant role in the field. In AFs arguments and attacks among them are treated as primitives, i.e. the internal structure of arguments is not considered. The major focus is on resolving conflicts. To this end a variety of semantics have been defined, each of them specifying acceptable sets of arguments, so-called extensions, in a particular way. This book is mainly concerned with the investigation of metalogical properties of Dung's abstract theory. In particular, we provide cardinality, monotonicity and splitting results as well as characterization theorems for equivalence notions. The established results have theoretical and practical gains. On the one hand, they yield deeper theoretical insights into how this nonmonotonic theory works, and on the other the obtained results can be used to refine existing algorithms or even give rise to new computational procedures. A further main part is the study of problems regarding dynamic aspects of abstract argumentation. Most noteworthy we solve the so-called enforcing and the more general minimal change problem for a huge number of semantics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52667938275601,"sku":"NLS9781848901438","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52755795345681,"sku":"NIN9781848901438","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781848901438.jpg?v=1762283782"}],"url":"https:\/\/www.worldofbooks.com\/collections\/studies-in-logic-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}