Search Results

Modern Perspective On Type Theory - From Its Origins Until Today

by F.D. Kamareddine, Rob Nederpelt e T. Laan

145,09€ + 10% CARD

 Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This book gathers much of their influential work and is useful for those interested in type theory.
ENGLISH

Hybrid Logic And Its Proof-Theory

by Torben Brauner

118,59€ + 10% CARD

 Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.
ENGLISH

Textbook Of Belief Dynamics - Solutions To Exercises

by Sven Ove Hansson

171,59€ + 10% CARD

 The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in various ways. This book contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. It can be used by specialists in field of belief dynamics and related areas.
ENGLISH

Frontiers Of Combining Systems - First International Workshop, Munich, March 1996

59,61€ + 10% CARD

 First International Workshop, Munich, March 1996
ENGLISH

Logical And Computational Aspects Of Model-Based Reasoning

118,59€ + 10% CARD

 The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic.
ENGLISH

Labelled Deduction

118,59€ + 10% CARD

 Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. <br/> Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented'' properties such as knowledge, belief, time, space, and resources.
ENGLISH

Logic, Language And Computation

118,59€ + 10% CARD

 The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation.
ENGLISH

Multi-Dimensional Modal Logic

by Maarten Marx e Yde Venema

118,59€ + 10% CARD

 Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.) <br/> This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.
ENGLISH

Fallacies Arising From Ambiguity

by Douglas Walton

232,54€ + 10% CARD

 Including the traditional fallacies of equivocation, amphiboly, accent, and figure of speech, this book deals with ambiguity in language, and the fallacies that arise from it. It includes some related fallacies that pose problems that are classified as fallacies of ambiguity, as their claim to this categorization is dubious or problematic.
ENGLISH

Advances In Intensional Logic

171,59€ + 10% CARD

 Identifies important developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy, and computer science. The main themes of this book are proof theory, descriptive uses, applications, and foundations of intensional logic.
ENGLISH

Foundations Of Rational Agency

171,59€ + 10% CARD

 Represents a comprehensive survey of the field of rational agency. This work covers the philosophical foundations of rational agency, logical and decision-theoretic approaches to rational agency, multi-agent aspects of rational agency, and describes a number of approaches to programming rational agents.
ENGLISH

What Is Negation?

237,84€ + 10% CARD

 The notion of negation is one of the central logical notions. This volume studies the properties of negation, in combination with those of other logical operations and structural features of the deducibility relation, which serve as gateways among logical systems.
ENGLISH

Intellectics And Computational Logic - Papers In Honor Of Wolfgang Bibel

171,59€ + 10% CARD

 Discusses the issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. This work offers an account of the capabilities and limitations of a computational-logic-based approach to intellectics.
ENGLISH

Formal Aspects Of Context

118,59€ + 10% CARD

 Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability.
ENGLISH

Advances In Temporal Logic

171,59€ + 10% CARD

 Presents articles containing results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. This book is intended for postgraduate and postdoctoral students, and also research professors in this area.
ENGLISH

New Essays In Free Logic - In Honour Of Karel Lambert

118,59€ + 10% CARD

 A collection of papers on Free Logic which cover a range of topics that show that Free Logic is applied not only in traditional philosophical areas, but also in various contexts of formal logic as well as in the discussion of theoretical aspects of programming. This book is useful to philosophers and logicians, computer scientists and researchers.
ENGLISH

Frontiers In Belief Revision

171,59€ + 10% CARD

 Features various innovative ideas on Belief Revision. This book addresses foundational issues of inductive reasoning and minimal change, generalizations of the standard belief revision theories, strategies for iterated revisions, probabilistic beliefs, multiagent environments and a variety of data structures and mechanisms for implementations.
ENGLISH

Introduction To Mathematical Logic And Type Theory - To Truth Through Proof

by Peter B. Andrews

105,34€ + 10% CARD

 Providing an introduction to mathematical logic, this work starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, and more. It is of interest to mathematicians, computer scientists, philosophers, and computer scientists.
ENGLISH

Semantics And Proof Theory Of The Logic Of Bunched Implications

by David J. Pym

171,59€ + 10% CARD

 Provides an account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. This monograph is aimed at graduates and researchers in mathematical logic, philosophical logic, computational logic and others.
ENGLISH

Thirty Five Years Of Automating Mathematics

118,59€ + 10% CARD

 Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic.
ENGLISH

Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii A

237,84€ + 10% CARD

 Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
ENGLISH

Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii A

171,59€ + 10% CARD

 Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
ENGLISH

Abduction And Induction - Essays On Their Relation And Integration

171,59€ + 10% CARD

 From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which is called as abduction and induction. This book addresses the relationship between abduction and induction and their possible integration, and is for philosophers, logicians, and AI researchers.
ENGLISH

Dynamic Worlds - From The Frame Problem To Knowledge Management

118,59€ + 10% CARD

 Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, and human/computer interfaces. This book features topics including logics for reasoning about actions and planning, and belief revision and the reconciliation of logically conflicting inputs.
Loading results...

View more results