We a good story
Quick delivery in the UK

Books in the Trends in Logic series

Filter
Filter
Sort bySort Series order
  • - A Study in Formal Action Theory
    by Janusz Czelakowski
    £47.99

  • Save 17%
    - A Study of Mereology
    by Andrzej Pietruszczak
    £66.49 - 83.99

  • - A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
     
    £144.99

    This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

  • - An Introduction to the General Algebraic Study of Non-classical Logics
    by Petr Cintula & Carles Noguera
    £104.49

    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.

  • - Trends in Logical Semantics
     
    £104.49

    This volume clusters together issues centered upon the variety of types of intensional semantics.

  • - Trends in Logical Semantics
     
    £104.49

    This volume clusters together issues centered upon the variety of types of intensional semantics.

  • Save 15%
    - Duality Theory
    by Leo Esakia
    £42.49 - 58.49

    This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras.

  • - A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
     
    £144.99

    This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

  • Save 17%
     
    £74.49

    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.

  •  
    £93.99

    Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion.

  •  
    £47.99

    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.

  • by M. Fitting
    £93.99

    Goedel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Goedel argument is fully formalized.

  • - How Quantum Computers Have Inspired Logical Investigations
    by Maria Luisa Dalla Chiara, Roberto Giuntini, Giuseppe Sergioli & et al.
    £104.49

    This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic.

  •  
    £93.99

    Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion.

  • - Variations on the Propositional Logic of William T. Parry
    by Thomas Macaulay Ferguson
    £47.99

  •  
    £47.99

    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked toprovide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

  •  
    £47.99

    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

  • by Johannes Stern
    £78.99

    Toward Predicate Approaches to Modality

  • - A New Perspective on Constructivist Semantics
    by Andreas Kapsner
    £47.99

    This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics.

  • - A Celebration of Dag Prawitz's Work
     
    £114.49

    Advances in Natural Deduction

  • - Applications in Argumentation, Normative Reasoning and Default Reasoning
    by Christian Strasser
    £93.99

    This book presents adaptive logics (ALs) as an intuitive and powerful framework to model defeasible reasoning. It offers case studies stemming from various contexts of defeasible reasoning, such as default reasoning, argumentation, and normative reasoning.

  • by Andrzej Indrzejczak
    £206.49

    Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.