2 079 kr

Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining-or fibring-systems. This means that many existing complex systems can be broken down into simpler components, hence making them much easier to manipulate. Using this methodology the book discusses ways of obtaining a wide variety of multimodal, modal intuitionistic, modal substructural and fuzzy systems in a uniform way. It also covers self-fibred languages which allow formulae to apply to themselves. The book also studies sufficient conditions for transferring properties of the component logics into properties of the combined system.

Produktinformation

Mer från samma författare

Interpolation and Definability
Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk, Dov M Gabbay

3 799 kr

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Professor of Computing Science) Abramsky, S. (Professor of Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, all at the Imperial College of Science, Technology, and Medicine

8 369 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Gabbay, Hogger, Robinson, Dov M. Gabbay, C. J. Hogger

7 409 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Dov M Gabbay, J A Robinson, Christopher J Hogger

7 409 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Dov M Gabbay, J A Robinson, Christopher J Hogger

8 159 kr

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Thomas S. E. Maibaum, Thomas S E Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Reader in Computing Science) Abramsky, S. (Reader in Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, Samson Abramsky, D M Gabbay

8 159 kr

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Abramsky, Gabbay, Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine

7 409 kr

Temporal Logic: Volume 2
Del 40

Temporal Logic: Volume 2

Dov M Gabbay, M. Finger, M. Reynolds, King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science, Australia) Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Brazil) Reynolds, M. (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Dov M. Gabbay

5 009 kr

Temporal Logic: Volume 1
Del 28

Temporal Logic: Volume 1

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds, Brazil) Reynolds, Mark (, Dept of Ciencia da ComputacaoUniv Sao Paulo

6 279 kr

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling

Samson Abramsky, T. S. Maibaum, T S Maibaum, Dov M Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine

7 409 kr

Mer från samma serie

Consequence Relations

Consequence Relations

Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics

1 689 kr

Fragments of First-Order Logic

Fragments of First-Order Logic

Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences

2 419 kr

Introduction to Logic and to the Methodology of Deductive Sciences
Del 24

Introduction to Logic and to the Methodology of Deductive Sciences

Alfred Tarski, The late Alfred Tarski, Jan Tarski

2 119 kr

Gödel's Incompleteness Theorems
Del 19

Gödel's Incompleteness Theorems

Raymond M. Smullyan, USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York

4 489 kr

Recursion Theory for Metamathematics
Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

2 999 kr

Twenty Five Years of Constructive Type Theory
Del 36

Twenty Five Years of Constructive Type Theory

Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith

1 669 kr

Change, Choice and Inference
Del 42

Change, Choice and Inference

Hans Rott, Germany) Rott, Hans (, Professor of Philosophy, University of Regensburg

3 289 kr

Elements of Intuitionism
Del 39

Elements of Intuitionism

Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

4 899 kr

Interpolation and Definability
Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk, Dov M Gabbay

3 799 kr

Elementary Categories, Elementary Toposes
Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

2 219 kr

Du kanske också är intresserad av

Functional Interpretation Of Logical Deduction, The
Del 5

Functional Interpretation Of Logical Deduction, The

Anjolina G De Oliveira, Dov M Gabbay, Ruy J G B De Queiroz, Brazil) De Oliveira, Anjolina G (Univ Federal De Pernambuco (Ufpe), Uk) Gabbay, Dov M (King's College London, Brazil) De Queiroz, Ruy J G B (Univ Federal De Pernambuco (Ufpe), Anjolina G. de Oliveira, Dov M. Gabbay, AL RUY J G B DE QUEIROZ ET, Al Ruy J G B de Queiroz Et

1 869 kr

Computational Logic
Del 9

Computational Logic

Dov M. Gabbay, J�rg H. Siekmann, John Woods, Jörg H. Siekmann, King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, Germany) Siekmann, Jorg H. (University of Saarland, Canada) Woods, John (University of British Columbia, Vancouver, Dov M Gabbay, Jörg H Siekmann

3 009 kr

Approaches to Legal Rationality
Del 20

Approaches to Legal Rationality

Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin, Dov M Gabbay

2 369 kr

Proof Theory for Fuzzy Logics
Del 36

Proof Theory for Fuzzy Logics

George Metcalfe, Nicola Olivetti, Dov M. Gabbay, Dov M Gabbay

1 679 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Dov M Gabbay, J A Robinson, Christopher J Hogger

8 159 kr

Logic: A History of its Central Concepts
Del 11

Logic: A History of its Central Concepts

Dov M. Gabbay, Francis Jeffry Pelletier, John Woods, Dov M Gabbay

3 009 kr

Handbook of Philosophical Logic
Del 16

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner, Dov M Gabbay

2 099 kr

Handbook of Philosophical Logic
Del 6

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner, Dov M Gabbay

2 509 kr

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Samson Abramsky, Dov M. Gabbay, Dov M Gabbay, T S Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Imperial College London) Abramsky, S. (Department of Computer Science, Department of Computer Science, King's College London) Gabbay, Dov M. (Department of Computer Science, Department of Computer Science, Imperial College London) Maibaum, T. S. E. (Department of Computer Science, Department of Computer Science

8 159 kr

The Rise of Modern Logic: from Leibniz to Frege
Del 3

The Rise of Modern Logic: from Leibniz to Frege

Dov M. Gabbay, John Woods, Dov M Gabbay

3 489 kr

Tillhör följande kategorier