Tous les livres numériques de la collection "Trends in Logic" - Springer

28 Livre(s)


The Method of Socratic Proofs Dorota Leszczynska-Jasion This book contains a systematic and formal attempt to model solutions to problems such as: Is it possible to prove a question? Is it possible to prove something by the use of questions? Do the existing paradigms in the logic of questions allow one to combine questions... Editeur : Springer Parution : 2025-06-13 Collection : Trends in Logic PDF, ePub 147,69 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Logic and Implication Petr Cintula , Carles Noguera 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... Editeur : Springer Parution : 2022-01-01 Collection : Trends in Logic PDF 126,59 € J'achète Téléchargement immédiat Dès validation de votre commande
Algebraic Perspectives on Substructural Logics Davide Fazio , Antonio Ledda , Francesco Paoli This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of... Editeur : Springer Parution : 2020-11-07 Collection : Trends in Logic PDF, ePub 105,49 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Foundations of the Theory of Parthood Andrzej Pietruszczak 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 Lesniewski's notion... Editeur : Springer Parution : 2020-02-21 Collection : Trends in Logic PDF, ePub 94,94 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Well-Quasi Orders in Computation, Logic, Language and Reasoning Peter M. Schuster , Monika Seisenberger , Andreas Weiermann 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 highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including... Editeur : Springer Parution : 2020-01-01 Collection : Trends in Logic PDF, ePub 179,34 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Dialetheism and its Applications Adam Rieger , Gareth Young 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,... Editeur : Springer Parution : 2020-01-01 Collection : Trends in Logic PDF, ePub 73,84 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Heyting Algebras Guram Bezhanishvili , Leo Esakia , Anton Evseev , Wesley H. Holliday This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras. Written by Georgian mathematician Leo Esakia, the text provedpopular among Russian-speaking logicians.This translation helps make the ideasaccessible to a wider... Editeur : Springer Parution : 2019-07-05 Collection : Trends in Logic PDF, ePub 84,39 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Quantum Computation and Logic Maria Luisa Dalla Chiara , Roberto Giuntini , Roberto Leporini , Giuseppe Sergioli 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. Divided into 10 chapters, the books starts with an introduction of the main... Editeur : Springer Parution : 2018-12-10 Collection : Trends in Logic PDF, ePub 126,59 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Contradictions, from Consistency to Inconsistency Walter Carnielli , Jacek Malinowski This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of... Editeur : Springer Parution : 2018-10-13 Collection : Trends in Logic PDF, ePub 105,49 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Meaning and Proscription in Formal Logic Thomas Macaulay Ferguson 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... Editeur : Springer Parution : 2017-12-22 Collection : Trends in Logic PDF 52,74 € J'achète Téléchargement immédiat Dès validation de votre commande
Descriptor Revision Sven Ove Hansson This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined.Descriptors are introduced... Editeur : Springer Parution : 2017-11-26 Collection : Trends in Logic PDF, ePub 52,74 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Logical Studies of Paraconsistent Reasoning in Science and Mathematics Holger Andreas , Peter Verdée 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.... Editeur : Springer Parution : 2016-12-02 Collection : Trends in Logic PDF, ePub 52,74 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Advances in Proof-Theoretic Semantics Thomas Piecha , Peter Schroeder-Heister 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... Editeur : Springer Parution : 2015-10-24 Collection : Trends in Logic PDF, ePub Gratuit PDF ePub Télécharger Téléchargement immédiat Dès validation de votre commande
Toward Predicate Approaches to Modality Johannes Stern In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But,... Editeur : Springer Parution : 2015-10-20 Collection : Trends in Logic PDF, ePub 89,66 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Freedom and Enforcement in Action Janusz Czelakowski 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... Editeur : Springer Parution : 2015-06-10 Collection : Trends in Logic PDF, ePub 52,74 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
Logics and Falsifications Andreas Kapsner This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the... Editeur : Springer Parution : 2015-01-07 Collection : Trends in Logic ePub 52,74 € J'achète Téléchargement immédiat Dès validation de votre commande
Advances in Natural Deduction Valeria De Paiva , Edward Haeusler , Luiz Carlos Pereira This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s... Editeur : Springer Parution : 2014-07-08 Collection : Trends in Logic ePub 126,59 € J'achète Téléchargement immédiat Dès validation de votre commande
Recent Trends in Philosophical Logic Roberto Ciuni , Heinrich Wansing , Caroline Willkommen This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox,... Editeur : Springer Parution : 2014-04-29 Collection : Trends in Logic ePub 94,94 € J'achète Téléchargement immédiat Dès validation de votre commande
Adaptive Logics for Defeasible Reasoning Christian Strasser This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptive logics. The author first familiarizes... Editeur : Springer Parution : 2013-11-29 Collection : Trends in Logic ePub 94,94 € J'achète Téléchargement immédiat Dès validation de votre commande
Lesniewski's Systems of Logic and Foundations of Mathematics Rafal Urbaniak This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Lesniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey... Editeur : Springer Parution : 2013-09-24 Collection : Trends in Logic ePub 52,74 € J'achète Téléchargement immédiat Dès validation de votre commande
12 >

Les livres numériques peuvent être téléchargés depuis votre librairie numérique ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Application
Ordinateur	-EPUB -PDF	Adobe Digital Editions
Tablette et Smartphone Android	-EPUB -PDF	Adobe Digital Editions pour Android
iPad	-EPUB -PDF	Adobe Digital Editions pour Apple
iPhone	-EPUB	Adobe Digital Editions pour Apple
Liseuse	-EPUB	Module de lecture de la liseuse

Consultez l’aide pour en savoir plus.

Catalogue

Tous les livres numériques de la collection "Trends in Logic" - Springer