Trends in Logic – serie
Visar alla böcker i serien Trends in Logic. Handla med fri frakt och snabb leverans.
136 produkter
Is-Ought Problem
An Investigation in Philosophical Logic
Av G. Schurz
Inbunden, 1997
2188 kr
Lägg i varukorg
Can OUGHT be derived from IS? This book presents an investigation of this time-honored problem by means of alethic-deontic predicate logic. New in this study is the leitmotif of relevance: is-ought inferences indeed exist, but they are all irrelevant in a precise logical sense. New proof techniques …
Logic, Action and Cognition
Essays in Philosophical Logic
Av Eva Ejerhed, Sten Lindstrom
Inbunden, 1997
879 kr
Lägg i varukorg
This book is divided into three parts. In the first part, Action, are collected papers that concern the formal theory of action, the logic of norms, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics. The third part, Cognition, …
Displaying Modal Logic
Inbunden, 1998
1534 kr
Lägg i varukorg
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last …
Metamathematics of Fuzzy Logic
Av Petr Hájek
Inbunden, 1998
2406 kr
Lägg i varukorg
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of …
Logic, Language and Reasoning
Essays in Honour of Dov Gabbay
Av Dov M. Gabbay, Uwe Reyle m. fl.
Inbunden, 1999
879 kr
Lägg i varukorg
This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his …
Cut Elimination in Categories
Av K. Dosen
Inbunden, 1999
1643 kr
Lägg i varukorg
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 (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in …
Algebraic Foundations of Many-Valued Reasoning
Av R.L. Cignoli, Itala M. d'Ottaviano m. fl.
Inbunden, 1999
1098 kr
Lägg i varukorg
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere- quisite …
Triangular Norms
Av Erich Peter Klement, R. Mesiar m. fl.
Inbunden, 2000
2188 kr
Lägg i varukorg
The history of triangular norms started with the paper "Statistical metrics" [Menger 1942]. The main idea of Karl Menger was to construct metric spaces where probability distributions rather than numbers are used in order to de scribe the distance between two elements of the space in question. …
Convergence of Scientific Knowledge
A view from the limit
Inbunden, 2001
1643 kr
Lägg i varukorg
This is this, this ain't something else, this is this -Robert De Niro, Deerhunter his book may to some extent be viewed as the continuation of my T Doctoral thesis Epistemology, Methodology and Reliability. The dissertation was, first of all, a methodological study of the reliable performance of …
Protoalgebraic Logics
Inbunden, 2001
1643 kr
Lägg i varukorg
The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas …
Fuzzy Logic
Mathematical Tools for Approximate Reasoning
Av G. Gerla
Inbunden, 2001
1098 kr
Lägg i varukorg
Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh [1975]a). The aim of this theory is to formalize the "approximate reasoning" we use in everyday life, the object of investigation being the human aptitude to manage …
Metamathematics of Fuzzy Logic
Av Petr Hájek
Häftad, 2001
2406 kr
Lägg i varukorg
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of …
Types, Tableaus, and Gödel’s God
Av M. Fitting
Inbunden, 2002
1207 kr
Lägg i varukorg
Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added, semantically and …
Substructural Logics: A Primer
Av F. Paoli
Inbunden, 2002
2406 kr
Lägg i varukorg
Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of the …
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
Av Silvio Ghilardi, M. Zawadowski
Inbunden, 2002
1098 kr
Lägg i varukorg
This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model completions for equational theories arising from propositional …
Probabilistic Logic in a Coherent Setting
Av Giulianella Coletti, R. Scozzafava
Inbunden, 2002
1098 kr
Lägg i varukorg
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general …
Probabilistic Logic in a Coherent Setting
Av Giulianella Coletti, R. Scozzafava
Häftad, 2002
1207 kr
Lägg i varukorg
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general …
Structural Reliabilism
Inductive Logic as a Theory of Justification
Av P. Kawalec
Inbunden, 2002
1098 kr
Lägg i varukorg
Kawalec's monograph is a novel defence of the programme of inductive logic, developed initially by Rudolf Carnap in the 1950s and Jaakko Hintikka in the 1960s. It revives inductive logic by bringing out the underlying epistemology. The main strength of the work is its link between inductive logic …
Foundations of the Formal Sciences II
Applications of Mathematical Logic in Philosophy and Linguistics
Av Benedikt Löwe, Wolfgang Malzkorn m. fl.
Inbunden, 2003
1098 kr
Lägg i varukorg
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.The second …
Logic for Concurrency and Synchronisation
Inbunden, 2003
1098 kr
Lägg i varukorg
The study of information-based actions and processes is a vibrant interface between logic and computer science. The individual chapters of this book show the state of the art in contemporary investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. …
Guide to Classical and Modern Model Theory
Av Annalisa Marcja, Carlo Toffalori
Häftad, 2003
1425 kr
Lägg i varukorg
Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical …
Topological and Algebraic Structures in Fuzzy Sets
A Handbook of Recent Developments in the Mathematics of Fuzzy Sets
Av S.E. Rodabaugh, Erich Peter Klement
Inbunden, 2003
1643 kr
Lägg i varukorg
This volume summarizes recent developments in the topological and algebraic structures in fuzzy sets and may be rightly viewed as a continuation of the stan dardization of the mathematics of fuzzy sets established in the "Handbook", namely the Mathematics of Fuzzy Sets: Logic, Topology, and …
Trends in Logic
50 Years of Studia Logica
Av Vincent F. Hendricks, Jacek Malinowski
Inbunden, 2003
1643 kr
Lägg i varukorg
In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume …
Reasoning in Quantum Theory
Sharp and Unsharp Quantum Logics
Av Maria Luisa Dalla Chiara, Roberto Giuntini m. fl.
Inbunden, 2004
1643 kr
Lägg i varukorg
"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 structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of …
Classical and New Paradigms of Computation and their Complexity Hierarchies
Papers of the conference "Foundations of the Formal Sciences III"
Av Benedikt Löwe, Boris Piwinger m. fl.
Inbunden, 2005
2188 kr
Lägg i varukorg
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational …
Anaphora and Type Logical Grammar
Inbunden, 2005
1692 kr
Lägg i varukorg
ThisbookdiscusseshowTypeLogicalGrammarcanbemodi?edinsuch awaythatasystematictreatmentofanaphoraphenomenabecomesp- sible without giving up the general architecture of this framework. By Type Logical Grammar, I mean the version of Categorial Grammar that arose out of the work of Lambek, 1958 and …
Goguen Categories
A Categorical Approach to L-fuzzy Relations
Inbunden, 2007
1098 kr
Lägg i varukorg
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind …
Constructive Negations and Paraconsistency
Inbunden, 2008
1098 kr
Lägg i varukorg
Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr- tive logic. However, the presented material belongs to the ?eld of parac- sistency, not to constructive logic. At the level of metatheory, the classical methods are used. We will consider two concepts of negation: the ne- tion as …
Analysis of Microarray Gene Expression Data
2004
2489 kr
Lägg i varukorg
After genomic sequencing, microarray technology has emerged as a widely used platform for genomic studies in the life sciences. Microarray technology provides a systematic way to survey DNA and RNA variation. With the abundance of data produced from microarray studies, however, the ultimate impact …
Geometry of Approximation
Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
Av Piero Pagliani, Mihir Chakraborty
Inbunden, 2008
3277 kr
Lägg i varukorg
'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies …
