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

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

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

Logic for Concurrency and Synchronisation

• Hardcover | Engels | Trends in Logic | nr. 18
• This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations... 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

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

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

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. It aims to s... Lees meer

Dialetheism and Its Applications

• Paperback | Engels | Trends in Logic | nr. 52
• 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 application... 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
• This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This h... Lees meer

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

• Paperback | Engels | Trends in Logic | nr. 53
• This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This h... 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

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

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

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

Dialetheism and Its Applications

• Hardcover | Engels | Trends in Logic | nr. 52
• 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 application... 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

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

Sheaves, Games, and Model Completions

Silvio Ghilardi, M Zawadowski

• Hardcover | Engels | Trends in Logic | nr. 14
• This book is an example of fruitful interaction between (non-classical) propo- sitionallogics and (classical) model theory which was made possible due... 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