{"title":"Trends In Logic","description":"\u003cp\u003eDelve into the fascinating world of formal reasoning with the Trends in Logic series. Explore cutting-edge research and thought-provoking analysis in this essential collection for logicians and philosophers.\u003c\/p\u003e","products":[{"product_id":"logical-writings-of-karl-popper-book-david-binder-9783030949259","title":"The Logical Writings of Karl Popper","description":"This open access book is the first ever collection of Karl Popper's writings on deductive logic.  Karl R.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49742749729041,"sku":"NGR9783030949259","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52435617808657,"sku":"NLS9783030949259","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52760474779921,"sku":"NIN9783030949259","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030949257.jpg?v=1751127049"},{"product_id":"inquisitive-logic-book-ivano-ciardelli-9783031097058","title":"Inquisitive Logic","description":"This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems.  After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49802542350609,"sku":"NGR9783031097058","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52691873202449,"sku":"NLS9783031097058","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/303109705X.jpg?v=1750999176"},{"product_id":"algebraic-foundations-of-many-valued-reasoning-book-rl-cignoli-9780792360094","title":"Algebraic Foundations of Many-Valued Reasoning","description":"The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere- quisite for the reader is some acquaintance with classical propositional logic, and elementary algebra and topology. In this book it is not our aim to give an account of Lukasiewicz's motivations for adding new truth values: readers interested in this topic will find appropriate references in Chapter 10. Also, we shall not explain why Lukasiewicz infinite-valued propositionallogic is a ba- sic ingredient of any logical treatment of imprecise notions: Hajek's book in this series on Trends in Logic contains the most authorita- tive explanations. However, in order to show that MV-algebras stand to infinite-valued logic as boolean algebras stand to two-valued logic, we shall devote Chapter 5 to Ulam's game of Twenty Questions with lies\/errors, as a natural context where infinite-valued propositions, con- nectives and inferences are used. While several other semantics for infinite-valued logic are known in the literature-notably Giles' game- theoretic semantics based on subjective probabilities-still the transi- tion from two-valued to many-valued propositonallogic can hardly be modelled by anything simpler than the transformation of the familiar game of Twenty Questions into Ulam game with lies\/errors.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51007352209681,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51007355519249,"sku":"NIN9780792360094","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52427257413905,"sku":"NLS9780792360094","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0792360095.jpg?v=1750881822"},{"product_id":"types-tableaus-and-godels-god-book-m-fitting-9781402006043","title":"Types, Tableaus, and Gödel’s God","description":"Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz\/Takahashi completeness proof is given. Then modal machinery is added, semantically and through tableau rules, to produce a modified version of Montague\/Gallin intensional logic. Extensionality, rigidity, equality, identity, and definite descriptions are investigated. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Objections to the Gödel argument are examined, including one due to Howard Sobel showing Gödel's assumptions are so strong that the modal logic collapses. It is shown that this argument depends critically on whether properties are understood intensionally or extensionally. Parts of the book are mathematical, parts philosophical. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus. There should be something for everybody (and perhaps everything for somebody).","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51024563339537,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51024566255889,"sku":"NIN9781402006043","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52448079773969,"sku":"NLS9781402006043","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1402006047.jpg?v=1751240104"},{"product_id":"dialetheism-and-its-applications-book-adam-rieger-9783030302238","title":"Dialetheism and its Applications","description":"The purpose of this book is to present unpublished papers at the cutting edge of research on dialetheism and to reflect recent work on the applications of the theory. It includes contributions from some of the most respected scholars in the field, as well as from young, up-and-coming philosophers working on dialetheism.  Moving from the fringes of philosophy to become a main player in debates concerning truth and the logical paradoxes, dialetheism has thrived since the publication of Graham Priest’s In Contradiction, and several of the papers find their roots in a conference on dialetheism held in Glasgow to mark the 25th anniversary of Priest’s book. The content presented here demonstrates the considerable body of work produced in this field in recent years.  With a broad focus, this book also addresses the applications of dialetheism outside the more familiar area of the logical paradoxes, and includes pieces discussing the application of dialetheism in metaphysics, philosophy of language, and philosophy of mind.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51061051490577,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51061053784337,"sku":"NIN9783030302238","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52535877894417,"sku":"NLS9783030302238","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030302237.jpg?v=1751382486"},{"product_id":"metamathematics-of-fuzzy-logic-book-petr-hjek-9780792352389","title":"Metamathematics of Fuzzy Logic","description":"This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51141446992145,"sku":"NIN9780792352389","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0792352386.jpg?v=1751044087"},{"product_id":"types-tableaus-and-goedel-s-god-book-m-fitting-9789401039123","title":"Types, Tableaus, and Goedel's God","description":"Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz\/Takahashi completeness proof is given. Then modal machinery is added, semantically and through tableau rules, to produce a modified version of Montague\/Gallin intensional logic. Extensionality, rigidity, equality, identity, and definite descriptions are investigated. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Objections to the Gödel argument are examined, including one due to Howard Sobel showing Gödel's assumptions are so strong that the modal logic collapses. It is shown that this argument depends critically on whether properties are understood intensionally or extensionally. Parts of the book are mathematical, parts philosophical. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus. There should be something for everybody (and perhaps everything for somebody).","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51142678577425,"sku":"NIN9789401039123","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52407688560913,"sku":"NLS9789401039123","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9401039127.jpg?v=1753688245"},{"product_id":"methods-of-cut-elimination-book-matthias-baaz-9789400703193","title":"Methods of Cut-Elimination","description":"Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs).","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51821213352209,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":51821213712657,"sku":"CIN9400703198G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52477242278161,"sku":"NLS9789400703193","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52763761541393,"sku":"NIN9789400703193","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400703193.jpg?v=1752596552"},{"product_id":"natural-deduction-hybrid-systems-and-modal-logics-book-andrzej-indrzejczak-9789048187843","title":"Natural Deduction, Hybrid Systems and Modal Logics","description":"This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120128848145,"sku":"NLS9789048187843","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":53626136199441,"sku":"NGR9789048187843","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048187843.jpg?v=1757424079"},{"product_id":"paradoxes-book-piotr-lukowski-9789400736382","title":"Paradoxes","description":"This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. Introducing original solutions of major paradoxes like: Liar paradox, Protagoras paradox, an unexpected examination paradox, stone paradox, crocodile, Newcomb paradox.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120731255057,"sku":"NLS9789400736382","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400736382.jpg?v=1757427025"},{"product_id":"descriptor-revision-book-sven-ove-hansson-9783319530604","title":"Descriptor Revision","description":"This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. It also explores sentential revision and demonstrates how local and global operations of revision by a sentence can be derived as a special case of descriptor revision.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120755667217,"sku":"NLS9783319530604","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319530604.jpg?v=1757427146"},{"product_id":"anaphora-and-type-logical-grammar-book-gerhard-jger-9781402039041","title":"Anaphora and Type Logical Grammar","description":"ThisbookdiscusseshowTypeLogicalGrammarcanbemodi?edinsuch awaythatasystematictreatmentofanaphoraphenomenabecomesp- sible without giving up the general architecture of this framework. By Type Logical Grammar, I mean the version of Categorial Grammar that arose out of the work of Lambek, 1958 and Lambek, 1961. There Ca- gorial types are analyzed as formulae of a logical calculus. In particular, the Categorial slashes are interpreted as forms of constructive impli- tion in the sense of Intuitionistic Logic. Such a theory of grammar is per se attractive for a formal linguist who is interested in the interplay between formal logic and the structure of language. What makes L- bekstyleCategorialGrammarevenmoreexcitingisthefactthat(asvan Benthem,1983pointsout)theCurry-Howardcorrespondence-acentral part of mathematical proof theory which establishes a deep connection betweenconstructivelogicsandthe?-calculus-suppliesthetypelogical syntax with an extremely elegant and independently motivated interface to model-theoretic semantics. Prima facie, anaphora does not ?t very well into the Categorial picture of the syntax-semantics interface. The Curry-Howard based composition of meaning operates in a local way, and meaning ass- bly is linear, i.e., every piece of lexical meaning is used exactly once. Anaphora, on the other hand, is in principle unbounded, and it involves by de?nition the multiple use of certain semantic resources. The latter problem has been tackled by several Categorial grammarians by ass- ing su?ciently complex lexical meanings for anaphoric expressions, but the locality problem is not easy to solve in a purely lexical way.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52123745976593,"sku":"NLS9781402039041","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52748604768529,"sku":"NIN9781402039041","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402039041.jpg?v=1757452784"},{"product_id":"goguen-categories-book-michael-winter-9781402061639","title":"Goguen Categories","description":"Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations. The book then introduces Goguen categories and provides a comprehensive study of these structures including their representation theory, and the definability of norm-based operations.   The power of the theory is demonstrated by a comprehensive example. A certain Goguen category is used to specify and to develop a fuzzy controller. Based on its abstract description as well as certain desirable properties and their formal proofs, a verified controller is derived without compromising the - sometimes - intuitive choice of norm-based operations by fuzzy engineers.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52127805767953,"sku":"NLS9781402061639","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52748837224721,"sku":"NIN9781402061639","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402061639.jpg?v=1757488197"},{"product_id":"logics-of-variable-inclusion-book-stefano-bonzio-9783031042966","title":"Logics of Variable Inclusion","description":"This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties.  The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128101302545,"sku":"NLS9783031042966","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761001328913,"sku":"NIN9783031042966","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031042966.jpg?v=1757489513"},{"product_id":"methods-of-cut-elimination-book-matthias-baaz-9789400734975","title":"Methods of Cut-Elimination","description":"This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch\\”utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. Moreover, a complexity theoretic comparison of Gentzen's and Tait's methods is given.  The core of the book centers around the cut-elimination method CERES (cut elimination by resolution) developed by the authors. CERES is based on the resolution calculus and radically differs from the reductive cut-elimination methods. The book shows that CERES asymptotically outperforms all reductive methods based on Gentzen's cut-reduction rules. It obtains this result by heavy use of subsumption theorems in clause logic. Moreover, several applications of CERES are given (to interpolation, complexity analysis of cut-elimination, generalization of proofs, and to the analysis of real mathematical proofs). Lastly, the book demonstrates that CERES can be extended to nonclassical logics, in particular to finitely-valued logics and to G\\\"odel logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128508510481,"sku":"NLS9789400734975","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400734975.jpg?v=1757491708"},{"product_id":"paradoxes-book-piotr-lukowski-9789400714755","title":"Paradoxes","description":"This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. Introducing original solutions of major paradoxes like: Liar paradox, Protagoras paradox, an unexpected examination paradox, stone paradox, crocodile, Newcomb paradox.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52132152738065,"sku":"NLS9789400714755","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400714755.jpg?v=1757515563"},{"product_id":"displaying-modal-logic-book-heinrich-wansing-9780792352051","title":"Displaying Modal Logic","description":"The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52132177936657,"sku":"NLS9780792352051","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792352051.jpg?v=1757515630"},{"product_id":"convergence-of-scientific-knowledge-book-vincent-f-hendricks-9780792369295","title":"The Convergence of Scientific Knowledge","description":"The Convergence of Scientific Knowledge-a view from the limit utilizes a few concepts from formal learning theory to study problems in modal logic and epistemology. It should be duely noted that this book has virtually nothing to do with formal learning theory or inductive learning problems.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52132909318417,"sku":"NLS9780792369295","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792369295.jpg?v=1757521786"},{"product_id":"meaning-and-proscription-in-formal-logic-book-thomas-macaulay-ferguson-9783319708201","title":"Meaning and Proscription in Formal Logic","description":"This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.  A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges – its effervescence with respect to fields ranging from metaphysics to computer programming – provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem.  It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics – and highlighting these features to appeal to researchers in many fields.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52137960309009,"sku":"NLS9783319708201","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319708201.jpg?v=1757560077"},{"product_id":"triangular-norms-book-erich-peter-klement-9780792364160","title":"Triangular Norms","description":"Consequently, the first field where t-norms played a major role was the theory of probabilistic metric spaces ( as statistical metric spaces were called after 1964).","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52140103467281,"sku":"NLS9780792364160","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53495040311569,"sku":"NIN9780792364160","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792364160.jpg?v=1757572701"},{"product_id":"fuzzy-logic-book-g-gerla-9780792369417","title":"Fuzzy Logic","description":"Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh [1975]a). The aim of this theory is to formalize the \"approximate reasoning\" we use in everyday life, the object of investigation being the human aptitude to manage vague properties (as, for example, \"beautiful\", \"small\", \"plausible\", \"believable\", etc. ) that by their own nature can be satisfied to a degree different from 0 (false) and I (true). It is worth noting that the traditional deductive framework in many-valued logic is different from the one adopted in this book for fuzzy logic: in the former logics one always uses a \"crisp\" deduction apparatus, producing crisp sets of formulas, the formulas that are considered logically valid. By contrast, fuzzy logical deductive machinery is devised to produce a fuzzy set of formulas (the theorems) from a fuzzy set of formulas (the hypotheses). Approximate reasoning has generated a very interesting literature in recent years. However, in spite of several basic results, in our opinion, we are still far from a satisfactory setting of this very hard and mysterious subject. The aim of this book is to furnish some theoretical devices and to sketch a general framework for fuzzy logic. This is also in accordance with the non­ Fregean attitude of the book.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142111654161,"sku":"NLS9780792369417","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792369417.jpg?v=1757579256"},{"product_id":"classical-and-new-paradigms-of-computation-and-their-complexity-hierarchies-book-benedikt-lwe-9781402027758","title":"Classical and New Paradigms of Computation and their Complexity Hierarchies","description":"The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies.   This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142626898193,"sku":"NLS9781402027758","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52748761530641,"sku":"NIN9781402027758","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402027758.jpg?v=1757581103"},{"product_id":"trends-in-logic-book-vincent-f-hendricks-9781402016011","title":"Trends in Logic","description":"In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52143372337425,"sku":"NLS9781402016011","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52748687671569,"sku":"NIN9781402016011","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402016011.jpg?v=1757584179"},{"product_id":"foundations-of-the-theory-of-parthood-book-andrzej-pietruszczak-9783030365356","title":"Foundations of the Theory of Parthood","description":"This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically analyzes and explains core topics related to mereology, such as parthood without antisymmetry, non-existence of the zero element, and Leśniewski's notion of class and set. The book also delves into three theories of parthood: two concern the sum existence axioms, and the third contends with transitivity of parthood.  This is the first systematic analysis of systems of mereology of its kind and is suitable for students, scholars, logicians, and mathematicians who wish to further their knowledge of mereology. Original polish publication “Podstawy teorii części” by The Nicolaus Copernicus University Press","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52145295589649,"sku":"NLS9783030365356","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030365356.jpg?v=1757592941"},{"product_id":"logic-for-concurrency-and-synchronisation-book-rj-de-queiroz-9789401740005","title":"Logic for Concurrency and Synchronisation","description":"The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses - as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like proof hdenotes both a static 'certificate' of truth, and an activity which humans or machines engage in. Increasing our understanding of l- ics of this sort tells us something about computer science, and about cognitive actions in general. The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and - with mainly two major paradigms at work, namely, linear logic and modal logic. These techniques are applied to the title themes of concurrency and synchronisation, but there are also many repercussions for topics such as the geometry of proofs, categorial semantics, and logics of graphs. Viewed - gether, the chapters also offer exciting glimpses of future integration, as the reader moves back and forth through the book.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52145666425105,"sku":"NLS9789401740005","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789401740005.jpg?v=1757594611"},{"product_id":"algebraic-perspectives-on-substructural-logics-book-davide-fazio-9783030521622","title":"Algebraic Perspectives on Substructural Logics","description":"This volume presents the state of the art in the algebraic investigation into substructural logics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52147737854225,"sku":"NLS9783030521622","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030521622.jpg?v=1757601458"},{"product_id":"metainferential-logics-book-federico-pailos-9783031443800","title":"Metainferential Logics","description":"This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It provides some new paths to define and investigate metainferential logics and offers a thorough study of the semantics and the proof-theories of this new and exciting variety of families of logics.  This volume examines the hierarchies of metainferential logics and gives a general and systematic theory of them, and of the truth theories based on these logics. This book puts forward the prospects for truth-theories based on the metainferential logics of the TS\/ST hierarchy and argues for its promise noting that each of these logics can be safely expanded with a transparent truth predicate. It also goes onto to explore new developments in three fields related to logics – namely metainferential logics built by means of the Weak Kleene schema and combining them with logics defined through the Strong Kleene schema, proof-theoretic presentations, and those with a with a global or an absolutely global validity standard, instead of a local one. This book is of interest to scholars in formal logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52149301477649,"sku":"NLS9783031443800","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031443800.jpg?v=1757606385"},{"product_id":"reasoning-in-quantum-theory-book-maria-luisa-dalla-chiara-9781402019784","title":"Reasoning in Quantum Theory","description":"\"Is quantum logic really logic?\" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking.  For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to advanced graduate students and researchers of other disciplines.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52149638529297,"sku":"NLS9781402019784","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402019784.jpg?v=1757607467"},{"product_id":"structural-reliabilism-book-p-kawalec-9781402010132","title":"Structural Reliabilism","description":"Kawalec's monograph is a novel defence of the programme of inductive logic, developed initially by Rudolf Carnap in the 1950s and Jaakko Hintikka in the 1960s. It revives inductive logic by bringing out the underlying epistemology. The main strength of the work is its link between inductive logic and contemporary discussions of epistemology. Through this perspective the author succeeds to shed new light on the significance of inductive logic. The resulting structural reliabilist theory propounds the view that justification supervenes on syntactic and semantic properties of sentences as justification-bearers. The claim is made that this sets up a genuine alternative to the prevailing theories of justification. Kawalec substantiates this claim by confronting structural reliabilism with a number of epistemological problems. Kawalec writes in a clear manner, makes his theses and arguments explicit, and gives ample bibliographical references.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52152059953425,"sku":"NLS9781402010132","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402010132.jpg?v=1757615421"},{"product_id":"logic-and-implication-book-petr-cintula-9783030856748","title":"Logic and Implication","description":"This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions.  Based on their recent work, the authors develop a powerful uniform framework for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics.    The bookmay be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52152286183697,"sku":"NLS9783030856748","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030856748.jpg?v=1757616155"},{"product_id":"harmony-and-paradox-book-luca-tranchini-9783031469237","title":"Harmony and Paradox","description":"This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly understood— notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52153607422225,"sku":"NGR9783031469237","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031469237.jpg?v=1757620866"},{"product_id":"probabilistic-logic-in-a-coherent-setting-book-giulianella-coletti-9781402009709","title":"Probabilistic Logic in a Coherent Setting","description":"The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52333885653265,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52333886243089,"sku":"NLS9781402009709","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402009709.jpg?v=1758155691"},{"product_id":"logic-in-high-definition-book-alessandro-giordani-9783030534868","title":"Logic in High Definition","description":"This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52334586003729,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52334586757393,"sku":"NLS9783030534868","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030534868.jpg?v=1758157327"},{"product_id":"guide-to-classical-and-modern-model-theory-book-annalisa-marcja-9781402013317","title":"A Guide to Classical and Modern Model Theory","description":"Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world.   This volume:  -is easily accessible to young people and mathematicians unfamiliar with logic;  -gives a terse historical picture of Model Theory;  -introduces the latest developments in the area;  -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.   A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52336893002001,"sku":"NLS9781402013317","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402013317.jpg?v=1758164862"},{"product_id":"constructive-negations-and-paraconsistency-book-sergei-odintsov-9781402068669","title":"Constructive Negations and Paraconsistency","description":"Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr- tive logic. However, the presented material belongs to the ?eld of parac- sistency, not to constructive logic. At the level of metatheory, the classical methods are used. We will consider two concepts of negation: the ne- tion as reduction to absurdity and the strong negation. Both concepts were developed in the setting of constrictive logic, which explains our choice of the title of the book. The paraconsistent logics are those, which admit - consistent but non-trivial theories, i. e. , the logics which allow one to make inferences in a non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. The indicated property of paraconsistent logics yields the possibility to apply them in di?erent situations, where we encounter phenomena relevant (to some extent) to the logical notion of inconsistency. Examples of these si- ations are (see [86]): information in a computer data base; various scienti?c theories; constitutions and other legal documents; descriptions of ?ctional (and other non-existent) objects; descriptions of counterfactual situations; etc. The mentioned survey by G. Priest [86] may also be recommended for a ?rst acquaintance with paraconsistent logic. The study of the paracons- tency phenomenon may be based on di?erent philosophical presuppositions (see, e. g. , [87]). At this point, we emphasize only one fundamental aspect of investigations in the ?eld of paraconsistency. It was noted by D. Nelson in [65, p.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52339744932113,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52339745128721,"sku":"NLS9781402068669","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402068669.jpg?v=1758170097"},{"product_id":"truth-and-falsehood-book-yaroslav-shramko-9789400737341","title":"Truth and Falsehood","description":"The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice (a lattice of truth values with two ordering relations) constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52342186017041,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52342189785361,"sku":"NLS9789400737341","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400737341.jpg?v=1758172465"},{"product_id":"structural-reliabilism-book-p-kawalec-9789401039550","title":"Structural Reliabilism","description":"Kawalec's monograph is a novel defence of the programme of inductive logic, developed initially by Rudolf Carnap in the 1950s and Jaakko Hintikka in the 1960s. It revives inductive logic by bringing out the underlying epistemology. The main strength of the work is its link between inductive logic and contemporary discussions of epistemology. Through this perspective the author succeeds to shed new light on the significance of inductive logic. The resulting structural reliabilist theory propounds the view that justification supervenes on syntactic and semantic properties of sentences as justification-bearers. The claim is made that this sets up a genuine alternative to the prevailing theories of justification. Kawalec substantiates this claim by confronting structural reliabilism with a number of epistemological problems. Kawalec writes in a clear manner, makes his theses and arguments explicit, and gives ample bibliographical references.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52352931725585,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52352932184337,"sku":"NLS9789401039550","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789401039550.jpg?v=1758182410"},{"product_id":"geometry-of-approximation-book-piero-pagliani-9781402086212","title":"A Geometry of Approximation","description":"'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.   Such an approach endows the present treatise with a unique character. Due to this uniqueness in the treatment of the subject, the book will be useful to researchers, graduate and pre-graduate students from various disciplines, such as computer science, mathematics and philosophy. It features an impressive number of examples supported by about 40 tables and 230 figures. The comprehensive index of concepts turns the book into a sort of encyclopaedia for researchers from a number of fields.   'A Geometry of Approximation' links many areas of academic pursuit without losing track of its focal point, Rough Sets.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52401919197457,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52401919885585,"sku":"NLS9781402086212","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402086212.jpg?v=1758756189"},{"product_id":"freedom-and-enforcement-in-action-book-janusz-czelakowski-9789401798549","title":"Freedom and Enforcement in Action","description":"Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence and automata theory to jurisprudence, deontology and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology.  The chapters here focus on specialized tasks in formal action theory, beginning with a thorough description and formalization of the language of action and moving through material on the differing models of action theory to focus on probabilistic models, the relations of formal action theory to deontic logic and its key applications in algorithmic and programming theory. The coverage thus fills a notable lacuna in the literary corpus and offers solid formal underpinning in cognitive science by approaching the problem of cognition as a composite action of mind.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52404778467601,"sku":"NLS9789401798549","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52763768029457,"sku":"NIN9789401798549","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789401798549.jpg?v=1758765081"},{"product_id":"freedom-and-enforcement-in-action-book-janusz-czelakowski-9789402401332","title":"Freedom and Enforcement in Action","description":"Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence and automata theory to jurisprudence, deontology and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology.  The chapters here focus on specialized tasks in formal action theory, beginning with a thorough description and formalization of the language of action and moving through material on the differing models of action theory to focus on probabilistic models, the relations of formal action theory to deontic logic and its key applications in algorithmic and programming theory. The coverage thus fills a notable lacuna in the literary corpus and offers solid formal underpinning in cognitive science by approaching the problem of cognition as a composite action of mind.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52406243262737,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52406243885329,"sku":"NLS9789402401332","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789402401332.jpg?v=1758768933"},{"product_id":"logic-in-high-definition-book-alessandro-giordani-9783030534899","title":"Logic in High Definition","description":"This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52406975693073,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52406976119057,"sku":"NLS9783030534899","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030534899.jpg?v=1758770996"},{"product_id":"foundations-of-the-formal-sciences-ii-book-benedikt-lwe-9781402011542","title":"Foundations of the Formal Sciences II","description":"\"Foundations of the Formal Sciences\" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.   The second conference in the series had the subtitle \"Applications of Mathematical Logic in Philosophy and Linguistics\" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software.   Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52408251285777,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52408251973905,"sku":"NLS9781402011542","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402011542.jpg?v=1758774529"},{"product_id":"logic-action-and-cognition-book-eva-ejerhed-9789401063265","title":"Logic, Action and Cognition","description":"The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the Department of Linguistics, and it was called UmLLI-93, the Umea Colloquium on Dynamic Approaches in Logic, Language and Information. The papers published here are considerably expanded and revised versions of talks presented by invited speakers at this colloquium. The papers included here fall into three broad categories. In the first part of the book, Action, we have collected papers that concern the formal theory of action, the logic of nonns, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics in the tradition of Alchourr6n, Gardenfors and Makinson. The third part, Cognition, concerns abstract questions about knowledge and truth as well'as more concrete questions about theusefuleness and tractability of various graphic representations of infonnation. An additional and important topic of the colloquium concerned logical approaches to natural language. For the sake of the thematic unity of this book, and its appearance in the series Trends in logic, the colloquium papers related to language are not included here, but some of these contributions will appear in the philosophical journal Theoria.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52410170442001,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52410170835217,"sku":"NLS9789401063265","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789401063265.jpg?v=1758777013"},{"product_id":"substructural-logics-a-primer-book-f-paoli-9789048160143","title":"Substructural Logics: A Primer","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52410432127249,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52410432454929,"sku":"NLS9789048160143","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048160143.jpg?v=1758777919"},{"product_id":"logic-language-and-reasoning-book-hans-ohlbach-9789401059367","title":"Logic, Language and Reasoning","description":"th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the areas of logic, language and reasoning are so numerous that a comprehensive survey would already fill half of this book. Instead of summarizing his work we decided to let him speak for himself. Sitting in a car on the way to Amsterdam airport he gave an interview to Jelle Gerbrandy and Anne-Marie Mineur. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic. In addition, this volume contains a partially annotated bibliography of his main papers and books. The length of the bibliography and the broadness of the topics covered there speaks for itself.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52410966212881,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52410966376721,"sku":"NLS9789401059367","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789401059367.jpg?v=1758780531"},{"product_id":"logical-studies-of-paraconsistent-reasoning-in-science-and-mathematics-book-holger-andreas-9783319402185","title":"Logical Studies of Paraconsistent Reasoning in Science and Mathematics","description":"This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic's status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52414696325393,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52414696915217,"sku":"NLS9783319402185","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319402185.jpg?v=1758843233"},{"product_id":"metainferential-logics-book-federico-pailos-9783031443831","title":"Metainferential Logics","description":"This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It provides some new paths to define and investigate metainferential logics and offers a thorough study of the semantics and the proof-theories of this new and exciting variety of families of logics.  This volume examines the hierarchies of metainferential logics and gives a general and systematic theory of them, and of the truth theories based on these logics. This book puts forward the prospects for truth-theories based on the metainferential logics of the TS\/ST hierarchy and argues for its promise noting that each of these logics can be safely expanded with a transparent truth predicate. It also goes onto to explore new developments in three fields related to logics – namely metainferential logics built by means of the Weak Kleene schema and combining them with logics defined through the Strong Kleene schema, proof-theoretic presentations, and those with a with a global or an absolutely global validity standard, instead of a local one. This book is of interest to scholars in formal logic.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52418559672593,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":52418560327953,"sku":"NGR9783031443831","price":0.0,"currency_code":"GBP","in_stock":false}]},{"product_id":"cut-elimination-in-categories-book-k-dosen-9780792357209","title":"Cut Elimination in Categories","description":"Proof theory and category theory were first drawn together by  Lambek some 30 years ago but, until now, the most fundamental notions  of category theory (as opposed to their embodiments in logic) have not  been explained systematically in terms of proof theory. Here it is  shown that these notions, in particular the notion of adjunction, can  be formulated in such as way as to be characterised by composition  elimination. Among the benefits of these composition-free formulations  are syntactical and simple model-theoretical, geometrical decision  procedures for the commuting of diagrams of arrows. Composition  elimination, in the form of Gentzen's cut elimination, takes in  categories, and techniques inspired by Gentzen are shown to work even  better in a purely categorical context than in logic. An acquaintance  with the basic ideas of general proof theory is relied on only for the  sake of motivation, however, and the treatment of matters related to  categories is also in general self contained. Besides familiar topics,  presented in a novel, simple way, the monograph also contains new  results. It can be used as an introductory text in categorical proof  theory.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52423709458705,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52423710048529,"sku":"NLS9780792357209","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792357209.jpg?v=1759149543"},{"product_id":"protoalgebraic-logics-book-janusz-czelakowski-9780792369400","title":"Protoalgebraic Logics","description":"The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989].","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52424147894545,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52424148451601,"sku":"NLS9780792369400","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792369400.jpg?v=1759150977"},{"product_id":"geometry-of-approximation-book-piero-pagliani-9789048179350","title":"A Geometry of Approximation","description":"'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.   Such an approach endows the present treatise with a unique character. Due to this uniqueness in the treatment of the subject, the book will be useful to researchers, graduate and pre-graduate students from various disciplines, such as computer science, mathematics and philosophy. It features an impressive number of examples supported by about 40 tables and 230 figures. The comprehensive index of concepts turns the book into a sort of encyclopaedia for researchers from a number of fields.   'A Geometry of Approximation' links many areas of academic pursuit without losing track of its focal point, Rough Sets.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52425007464721,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425008152849,"sku":"NLS9789048179350","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048179350.jpg?v=1759153584"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/trends-in-logic-book-series.oembed?page=7","provider":"World of Books ","version":"1.0","type":"link"}