34 résultat(s)
Télécharger le livre : The Method of Socratic Proofs
Dorota Leszczynska-Jasion
The Method of Socratic Proofs
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
Format(s) : PDF, ePub
147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : 60 Years of Connexive Logic
Hitoshi Omori , Heinrich Wansing
60 Years of Connexive Logic
This book provides deep insights into current research in the rapidly developing field of connexive logic and includes contributions from leading scholars in the field. Unlike the most well known systems of non-classical logic, systems of connexive logic are...
Editeur : Springer
Parution : 2025-02-01
Collection : Trends in Logic
Format(s) : PDF
126,59 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Inquisitive Logic
Ivano Ciardelli
Inquisitive Logic
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical...
Editeur : Springer
Parution : 2023-03-01
Collection : Trends in Logic
Format(s) : PDF, ePub
Gratuit
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : The Logical Writings of Karl Popper
David Binder , Thomas Piecha , Peter Schroeder-Heister
The Logical Writings of Karl Popper
This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political...
Editeur : Springer
Parution : 2022-07-06
Collection : Trends in Logic
Format(s) : PDF
Gratuit
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logics of Variable Inclusion
Stefano Bonzio , Francesco Paoli , Michele Pra Baldi
Logics of Variable Inclusion
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from...
Editeur : Springer
Parution : 2022-06-09
Collection : Trends in Logic
Format(s) : PDF
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logic and Implication
Petr Cintula , Carles Noguera
Logic and Implication
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
Format(s) : PDF
126,59 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logic in High Definition
Alessandro Giordani , Jacek Malinowski
Logic in High Definition
This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or...
Editeur : Springer
Parution : 2020-11-19
Collection : Trends in Logic
Format(s) : PDF, ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Algebraic Perspectives on Substructural Logics
Davide Fazio , Antonio Ledda , Francesco Paoli
Algebraic Perspectives on Substructural Logics
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
Format(s) : PDF, ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Foundations of the Theory of Parthood
Andrzej Pietruszczak
Foundations of the Theory of Parthood
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
Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Well-Quasi Orders in Computation, Logic, Language and Reasoning
Peter M. Schuster , Monika Seisenberger , Andreas Weiermann
Well-Quasi Orders in Computation, Logic, Language and Reasoning
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
Format(s) : PDF, ePub
179,34 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Dialetheism and its Applications
Adam Rieger , Gareth Young
Dialetheism and its Applications
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
Format(s) : PDF, ePub
73,84 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : A Model–Theoretic Approach to Proof Theory
Zofia Adamowicz , Teresa Bigorajska , Henryk Kotlarski , Konrad Zdanowski
A Model–Theoretic Approach to Proof Theory
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total...
Editeur : Springer
Parution : 2019-09-26
Collection : Trends in Logic
Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Heyting Algebras
Guram Bezhanishvili , Leo Esakia , Anton Evseev , Wesley H. Holliday
Heyting Algebras
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
Format(s) : PDF, ePub
84,39 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Quantum Computation and Logic
Maria Luisa Dalla Chiara , Roberto Giuntini , Roberto Leporini , Giuseppe Sergioli
Quantum Computation and Logic
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
Format(s) : PDF, ePub
126,59 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Contradictions, from Consistency to Inconsistency
Walter Carnielli , Jacek Malinowski
Contradictions, from Consistency to Inconsistency
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
Format(s) : PDF, ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Meaning and Proscription in Formal Logic
Thomas Macaulay Ferguson
Meaning and Proscription in Formal Logic
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
Format(s) : PDF
52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Descriptor Revision
Sven Ove Hansson
Descriptor Revision
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
Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Holger Andreas , Peter Verdée
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
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
Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Advances in Proof-Theoretic Semantics
Thomas Piecha , Peter Schroeder-Heister
Advances in Proof-Theoretic Semantics
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
Format(s) : PDF, ePub
Gratuit
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Toward Predicate Approaches to Modality
Johannes Stern
Toward Predicate Approaches to Modality
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
Format(s) : PDF, ePub
89,66 €
Téléchargement immédiat
Dès validation de votre commande
12 >