熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
上市日期(可複選) | |
其他(可複選) |
搜尋結果共 188 筆, 頁數 1 / 4
呈現:
Argument, Sex and Logic
Gabbay is a Professor at King’s College London, University of Luxembourg and Bar-Ilan University. Dr Gadi Rozenberg is a...... more |
|||
Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 10, number 4, July 2023
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all a... more |
|||
Gender and Succession in Medieval and Early Modern Islam: Bilateral Descent and the Legacy of Fatima
In Gender and Succession in Medieval and Early Modern Islam: Bilateral Descent and the Legacy of Fatima, Alyssa Gabbay...... more |
|||
Intelligent Design versus Evolution
|
|||
Illustrations and Insights from the Old Testament: A Coffee Table Book
|
|||
Illustrations and Insights from the Old Testament: A Coffee Table Book
|
|||
Access Point: A Psychological Thriller
|
|||
Gender and Succession in Medieval and Early Modern Islam: Bilateral Descent and the Legacy of Fatima
In Gender and Succession in Medieval and Early Modern Islam: Bilateral Descent and the Legacy of Fatima, Alyssa Gabbay...... more |
|||
Theories of Joint Ownership in Talmudic Logic
|
|||
An Analytical Mechanics Framework for Flow-Oscillator Modeling of Vortex-Induced Bluff-Body Oscillations
|
|||
Chooki Alone at Home: The True Story of a Little Cat
Chooki himself, a foundling and orphaned little cat, is telling you the true story of his life. You ... more |
|||
A New Perspective on Nonmonotonic Logics
In this book the authors present new results on interpolation for nonmonotonic logics, abstract (fun... more |
|||
A New Perspective on Nonmonotonic Logics
In this book the authors present new results on interpolation for nonmonotonic logics, abstract (fun... more |
|||
Elementary Logic with Applications: A Procedural Perspective for Computer Scientists
|
|||
Reactive Kripke Semantics
|
|||
Islamic Tolerance: Amir Khusraw and Pluralism
, religion and gender in the early medieval period, Alyssa Gabbay demonstrates the pre-modern precedents for pluralism, conveying...... more |
|||
Handbook of Philosophical Logic
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape o... more |
|||
The Functional Interpretation of Logical Deduction
, such as the D Gabbay s Labelled Deductive Systems. The book truly demonstrates that introducing labels is useful to...... more |
|||
Handbook of Philosophical Logic
suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard- ware). Theprinciplesgoverningthein... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of the History of Logic: Sets and Extensions in the Twentieth Century
Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at a... more |
|||
Logical Tools for Handling Change in Agent-Based Systems
Agents act on the basis of their beliefs and these beliefs change as they interact with other agents... more |
|||
Handbook of Philosophical Logic
such questions for centuries (unrestricted by the capabilities of any hard- ware). The principles go... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Handbook of Philosophical Logic
It is with great pleasure that we are presenting to the community the second edition of this extraor... more |
|||
Conditionals and Modularity in General Logics
Introduction; Basic Definitions; Towards a Uniform Picture of Conditionals; Monotone and Antitone Se... more |
|||
Inductive Logic
Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are man... more |
|||
Organisational Innovation in Health Services: Lessons from the Nhs Treatment Centres
Amid a welter of simultaneous policy initiatives, treatment centres were a top-down NHS innovation t... more |
|||
Organisational Innovation in Health Services: Lessons from the Nhs Treatment Centres
Amid a welter of simultaneous policy initiatives, treatment centres were a top-down NHS innovation t... more |
|||
Handbook of Philosophical Logic
Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguist... more |
|||
Handbook of Philosophical Logic
Editorial Preface.- Dov M. Gabbay.- Lambda Calculi: A Guide.- Chris Hankin.- Interpolation and Definability .- Dov...... more |
|||
Goal-Directed Proof Theory
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in no... more |
|||
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph dev... more |
|||
Neural-Symbolic Cognitive Reasoning
Humans are often extraordinary at performing practical reasoning. There are cases where the human co... more |
|||
Practice-Based Evidence for Healthcare: Clinical Mindlines
trusted colleagues. To explore how mindlines work Gabbay and le May draw on a wide range of disciplines to analyse their...... more |
|||
Proof Theory for Fuzzy Logics
The Semantic Basis.- Hilbert Systems.- Gentzen Systems.- Syntactic Eliminations.- Fundamental Logics... more |
|||
Approaches to Legal Rationality
Introduction.- Abstracts.- Part I The Specificity of Legal Reasoning.- Part II Legal Reasoning and P... more |
|||
Islamic Tolerance: Amir Khusraw and Pluralism
, religion and gender in the early medieval period, Alyssa Gabbay demonstrates the pre-modern precedents for pluralism, conveying...... more |
|||
Quantification In Nonclassical Logic
Quantification and modalities have always been topics of great interest for logicians. These two the... more |
|||
The International Directory of Logicians: Who’s Who in Logic
The International Directory of Logicians is a listing of over 260 of the world s most foremost livin... more |
|||
Logic, Epistemology, and the Unity of Science
The first volume in this new series explores, through extensive co-operation, new ways of achieving ... more |
|||
Proof Theory for Fuzzy Logics
|
|||
Neural-Symbolic Cognitive Reasoning
Humans are often extraordinary at performing practical reasoning. There are cases where the human co... more |
|||
Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications
In recent years there has been an increasing use of logical methods and significant new developments... more |
|||
Handbook of the History of Logic: Mediaeval and Renaissance Logic
Starting at the very beginning with Aristotle’s founding contributions, logic has been graced by sev... more |
|||
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph dev... more |
|||
Handbook of the History of Logic: British Logic in the Nineteenth Century
The present volume of the Handbook of the History of Logic is designed to establish 19th century Bri... more |
|||
Handbook of Paraconsistency: Studies in Logic Logic and Cognitive Systems
Carnielli and Dov Gabbay, expert logicians versed in a variety of logics....... more |
|||
A New Approach to Quantum Logic
This monograph is an investigation into certain new logical structures implicit in the formalism of ... more |
|||
Handbook of Philosophical Logic
theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: - a chapter on non-monot... more |
|||
Handbook of Quantum Logic and Quantum Structures: Quantum Structures
Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quan... more |
|||
Logic for Artificial Intelligence and Information Technology
|
|||
General Philosophy of Science: Focal Issues
Scientists use concepts and principles that are partly specific for their subject matter, but they a... more |
|||
Handbook of the History of Logic: The Many Valued and Non-monotonic Turn in Logic
The present volume of the Handbook of the History of Logic brings together two of the most important... more |
|||
Mathematical Problems from Applied Logic II: Logics for the Xxist Century
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logic... more |
|||
Handbook of the History of Logic: Logic And the Modalities in the Twentieth Century
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone inter... more |
|||
Mathematical Problems from Applied Logic I: Logics for the XXIst Century
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logician... more |
|||
Handbook of Philosophical Logic
) for their continuing support for the Handbook. Dov Gabbay King s College London 10 Logic IT Natural Program Arti?cial in...... more |
|||
Handbook Of Philosophical Logic
Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King s College London x PREFACE TO THE SECOND...... more |
|||
Interpolation And Definability: Modal And Intuitionistic Logic
This monograph is on interpolation and definability, a notion central in pure logic and with signifi... more |