Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Gestion des cookies
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and t...Savoir plus
After genomic sequencing, microarray technology has emerged as a widely used platform for genomic studies in the life sciences. Microarray technology ...Savoir plus
This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically analyzes and explains core topics...Savoir plus
"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...Savoir plus
This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations...Savoir plus
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substruct...Savoir plus
This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esak...Savoir plus
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...Savoir plus
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...Savoir plus
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic sem...Savoir plus
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...Savoir plus
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...Savoir plus
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...Savoir plus
Reductio ad Absurdum.- Minimal Logic. Preliminary Remarks.- Logic of Classical Refutability.- The Class of Extensions of Minimal Logic.- Adequate Alge...Savoir plus
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets,...Savoir plus
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...Savoir plus
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...Savoir plus
This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebr...Savoir plus
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinat...Savoir plus
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...Savoir plus
Part I: Articles.- Chapter 1. Introduction to Popper's Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister).- Chapter 2. Are C...Savoir plus
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic sem...Savoir plus
This book is an example of fruitful interaction between (non-classical) propo- sitionallogics and (classical) model theory which was made possible due...Savoir plus
The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, succ...Savoir plus