Filteren
1
Sorteren
117 resultaten
Serie: Trends in logic
gebondenEngels9783030044701
18-12-2018
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. Meer
gebondenEngels9783030534868
20-11-2020
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. Meer
paperbackEngels9783030534899
20-11-2021
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. Meer
paperbackEngels9783030302238
26-8-2021
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. Meer
paperbackEngels9783319369525
23-8-2016
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? 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
gebondenEngels9780792369295
31-3-2001
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. 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
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
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
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
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
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
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
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
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
gebondenEngels9781402006609
31-7-2002
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. 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
gebondenEngels9781402039041
26-8-2005
ThisbookdiscusseshowTypeLogicalGrammarcanbemodi?edinsuch awaythatasystematictreatmentofanaphoraphenomenabecomesp- sible without giving up the general architecture of this framework. Meer