Hakutulokset: Dov M. Gabbay
yhteensä 174 hakutulosta
Neural-Symbolic Cognitive Reasoning
Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we …
Philosophy of Complex Systems
The domain of nonlinear dynamical systems and its mathematical underpinnings has been developing exponentially for a century, the last 35 years seeing an outpouring of new ideas …
Philosophy of Economics
Part of the Handbook of the Philosophy of Science Series edited by: Dov M. Gabbay King's College, London, UK; Paul Thagard University of Waterloo, Canada; and John Woods …
Labelled Deduction
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 …
Quantified Representation of Uncertainty and Imprecision
We are happy to present the first volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be …
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications
Sets and Extensions in the Twentieth Century
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is …
Semantical Investigations in Heyting's Intuitionistic Logic
From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical …
Handbook of Philosophical Logic
The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of …
Handbook of Defeasible Reasoning and Uncertainty Management Systems
Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism. …
Handbook of Quantum Logic and Quantum Structures
Quantum mechanics is said to be the most successful physical theory ever. It is, in fact, unique in its success when applied to concrete physical problems. On the other hand, …
Reactive Kripke Semantics
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility …