Filteren
1
Sorteren
117 resultaten
Serie: Trends in logic
gebondenEngels9780792344100
28-2-1997
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. Meer
gebondenEngels9780792369400
30-4-2001
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. Meer
gebondenEngels9780792369417
30-4-2001
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 vague properties (as, for example, "beautiful", "small", "plausible", "believable", etc. Meer
GebondenEngels9780792356875
30-6-1999
This text is dedicated to Dov Gabbay, an outstanding researcher in the area of logic, language and reasoning. The chapters build on his work and summarize areas where he made major contributions. Meer
gebondenEngels9780792360094
30-11-1999
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. Meer
gebondenEngels9780792352051
31-8-1998
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. Meer
gebondenEngels9780792357209
31-5-1999
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. Meer
gebondenEngels9780792352389
31-8-1998
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. Meer
gebondenEngels9780792364160
31-7-2000
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. Meer
GebondenEngels9780792345602
31-7-1997
Divided into three parts, this title contains collected papers that concern the formal theory of action, the logic of norms, and the theory of rational decision. Meer
paperbackEngels9781402009709
31-10-2002
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 view of conditional probability. Meer
gebondenEngels9781402009174
31-10-2002
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 view of conditional probability. Meer
gebondenEngels9781402012709
31-5-2003
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. Meer
gebondenEngels9781402019784
31-3-2004
"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. Meer
gebondenEngels9781402010132
31-10-2002
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. Meer
gebondenEngels9781402027758
15-2-2005
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 properties. Meer
gebondenEngels9781402015151
30-9-2003
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 Measure Theory, Volume 3 of The Handbooks of Fuzzy Sets Series (Kluwer Academic Publish ers, 1999). Meer
paperbackEngels9781402013317
30-6-2003
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. Meer
gebondenEngels9781402068669
20-3-2008
Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr- tive logic. However, the presented material belongs to the ?eld of parac- sistency, not to constructive logic. Meer
gebondenEngels9781402061639
24-7-2007
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 categories and related structures. Meer