Logics of Variable Inclusion

Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

• Paperback | Engels | Trends in Logic | nr. 59
• This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and t... Lees meer

Foundations of the Theory of Parthood

Andrzej Pietruszczak

• Hardcover | Engels | Trends in Logic | nr. 54
• This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically analyzes and explains core topics... Lees meer

Analysis of Microarray Gene Expression Data

Mei-Ling Ting Lee

• Hardcover | Engels | Trends in Logic
• After genomic sequencing, microarray technology has emerged as a widely used platform for genomic studies in the life sciences. Microarray technology ... Lees meer

Recent Trends in Philosophical Logic

• Hardcover | Engels | Trends in Logic | nr. 41
• This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substruct... Lees meer

Reasoning in Quantum Theory

Maria Luisa Dalla Chiara, Roberto Giuntini, Richard Greechie

• Hardcover | Engels | Trends in Logic | nr. 22
• "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 str... Lees meer

Logic for Concurrency and Synchronisation

• Hardcover | Engels | Trends in Logic | nr. 18
• The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, ... Lees meer

Heyting Algebras

Leo Esakia

• Paperback | Engels | Trends in Logic | nr. 50
• This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esak... Lees meer

Dialetheism and Its Applications

• Paperback | Engels | Trends in Logic | nr. 52
• Addresses the application of dialetheism in a broad and diverse range of philosophical areas Celebrates the pioneering work of Graham Priest Brings to... Lees meer

Metamathematics of Fuzzy Logic

Petr Hájek

• Hardcover | Engels | Trends in Logic | nr. 4
• This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis . Some import... Lees meer

Harmony and Paradox

Luca Tranchini

• Paperback | Engels | Trends in Logic | nr. 62
• This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic sem... Lees meer

Well-Quasi Orders in Computation, Logic, Language and Reasoning

• Hardcover | Engels | Trends in Logic | nr. 53
• Introduces readers to a highly active branch of combinatorics Unifies interdisciplinary areas between logic, mathematics and computer science Highligh... Lees meer

Well-Quasi Orders in Computation, Logic, Language and Reasoning

• Paperback | Engels | Trends in Logic | nr. 53
• Introduces readers to a highly active branch of combinatorics Unifies interdisciplinary areas between logic, mathematics and computer science Highligh... Lees meer

A Model-Theoretic Approach to Proof Theory

Henryk Kotlarski

• Paperback | Engels | Trends in Logic | nr. 51
• This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinat... Lees meer

Dialetheism and Its Applications

• Hardcover | Engels | Trends in Logic | nr. 52
• Addresses the application of dialetheism in a broad and diverse range of philosophical areas Celebrates the pioneering work of Graham Priest Brings to... Lees meer

Algebraic Perspectives on Substructural Logics

• Hardcover | Engels | Trends in Logic | nr. 55
• This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebr... Lees meer

Constructive Negations and Paraconsistency

Sergei Odintsov

• Hardcover | Engels | Trends in Logic | nr. 26
• Reductio ad Absurdum.- Minimal Logic. Preliminary Remarks.- Logic of Classical Refutability.- The Class of Extensions of Minimal Logic.- Adequate Alge... Lees meer

Goguen Categories

Michael Winter

• Hardcover | Engels | Trends in Logic | nr. 25
• Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets,... Lees meer

Cut Elimination in Categories

K Dosen

• Hardcover | Engels | Trends in Logic | nr. 6
• 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... Lees meer

Descriptor Revision

Sven Ove Hansson

• Paperback | Engels | Trends in Logic | nr. 46
• Introduces a new approach to belief change that is based on a cognitively more realistic model than previous approaches Written by a leading expert in... Lees meer

Toward Predicate Approaches to Modality

Johannes Stern

• Paperback | Engels | Trends in Logic | nr. 44
• In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities fro... Lees meer

The Logical Writings of Karl Popper

• Hardcover | Engels | Trends in Logic | nr. 58
• Part I: Articles.- Chapter 1. Introduction to Popper's Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister).- Chapter 2. Are C... Lees meer

Harmony and Paradox

Luca Tranchini

• Hardcover | Engels | Trends in Logic | nr. 62
• This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic sem... Lees meer

Displaying Modal Logic

Heinrich Wansing

• Hardcover | Engels | Trends in Logic | nr. 3
• The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, succ... Lees meer

Probabilistic Logic in a Coherent Setting

Giulianella Coletti, R Scozzafava

• Hardcover | Engels | Trends in Logic | nr. 15
• The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characte... Lees meer