Books in category Logic
3 4 5 6 7 8 9 10 11 12 13
Author: Jean Goubault-Larrecq;Ian MacKie
Publisher : Kluwer Academic Publishers
ISBN : 9781402003684
Proof Theory and Automated Deduction is written forfinal-year undergraduate and first-year post-graduate students. Itshould also serve as a valuable reference for researchers in logic andcomputer science. It covers basic notions in logic, with a particularstress on proof theory, as opposed to, for example, model theory orset theory; and shows how they are applied in computer science, andespecially
Author:
Publisher : Springer
ISBN : 9783540517306
The Set Theory and Applications meeting at York University, Ontario, featured both contributed talks and a series of invited lectures on topics central to set theory and to general topology. These proceedings contain a selection of the resulting papers, mostly announcing new unpublished results.
Author: Roy A. Sorensen
Publisher : Oxford University Press
ISBN : 9780195129137
Can merely thinking about an imaginary situation provide evidence for how the world actually is--or how it ought to be? In this lively book, Roy A. Sorensen addresses this question with an analysis of a wide variety of thought experiments ranging from aesthetics to zoology. Presenting thefirst general theory of thought experiment, he sets it within an evolutionary framework and integrates recent a
Author: Husserl, Edmund
Publisher : Springer
ISBN : 9781402013973
Der vorliegende Band enthdlt den Text der vierst]ndigen Vorlesung, die Husserl im Wintersemester 1908/09 unter dem Titel Alte und neue Logik in Gvttingen gehalten hat. Es handelt sich bei dieser Vorlesung zum einen um eine Umarbeitung und Neugestaltung seiner Logikvorlesung von 1902/03, die im Band 2 der Materialien vervffentlicht wurde, zum anderen um eine Vorstufe der in Band XXX der Gesammelten
Author: Lampert, Jay ;Lampert, J.
Publisher : Kluwer Academic Publishers
ISBN : 9780792331056
What does it mean to say that one experience is synthesized with others? This study is a speculative-exegetical Husserlian account of the ground, the mechanisms, and the results of synthesis. A detailed, rigorous and systematic analysis of Husserl's Logical Investigations, it argues that synthesizing consciousness must be a self-explicating system of interpretive acts driven by ongoing forward and
Author: Quine, Willard Van Orman
Publisher : Harvard University Press
ISBN : 9780674948372
This expanded edition of The Ways of Paradox includes papers that are among Professor Quine's most important and influential, such as Truth by Convention, Carnap and Logical Truth, On Carnap's Views on Ontology, The Scope and Language of Science, and Posits and Reality. Many of these essays deal with unresolved issues of central interest to philosophers today. About half of them are addressed to a
Author: Rybakov, Vladimir V. ;Rybakov, V. V.
Publisher : Unknown
ISBN : 9780444895059
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: • admissible or permissible inference rules• the derivability of the admissible inference rules• the structural completeness of logics• the bases for admissible and valid inference rules.There is particular emphasis on p
Author: Korotkich, Victor ;Korotkikh, V.
Publisher : Kluwer Academic Publishers
ISBN : 9780792360100
An understanding of emergent computation requires a profound revision of the most fundamental ideas. A noticeable attempt of such a rethinking is a world view in which natural systems are seen not as separate entities but as integrated parts of a unified whole. The book for the first time presents such a mathematical structure, which remarkably is based on integers as the single concept. As intege
Author: Taylor, Charles
Publisher : Cambridge University Press
ISBN : 9780521317504
Charles Taylor has been one of the most original and influential figures in contemporary philosophy: his ?philosophical anthropology? spans an unusually wide range of theoretical interests and draws creatively on both Anglo-American and Continental traditions in philosophy. A selection of his published papers is presented here in two volumes, structured to indicate the direction and essential unit
Author: Taylor, Charles
Publisher : Cambridge University Press
ISBN : 9780521317498
Charles Taylor has been one of the most original and influential figures in contemporary philosophy: his ?philosophical anthropology? spans an unusually wide range of theoretical interests and draws creatively on both Anglo-American and Continental traditions in philosophy. A selection of his published papers is presented here in two volumes, structured to indicate the direction and essential unit
Author:
Publisher : Rodopi
ISBN : 9789042023369
In recent years, the problem of idealization has been one of the central issues discussed in philosophy of science. This volume gathers original essays written by well-known philosophers. The papers address the method of idealization and its applications in science as well as ontological and epistemological problems that have arisen. Among the questions addressed are: What is the logcal form of id
Author: Dosen, Kosta ;Dosen, K.
Publisher : Kluwer Academic Publishers
ISBN : 9780792357209
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. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by compo
Author: Marek, Wiktor ;Onyszkiewicz, Janusz
Publisher : Springer
ISBN : 9789027721310
Author: Roberto Cignoli
Publisher : Kluwer Academic Publishers
ISBN : 9780792360094
This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are int
Author: Iu I. Manin
Publisher : Unknown
ISBN : 9780387902432
This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems. The book contains the first textbook presentation of Mat
Author:
Publisher : Kluwer Academic Publishers
ISBN : 9780792334491
The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical appro
Author: Vigano, Luca ;Viganc2, Luca ;Viganr, Luca
Publisher : Kluwer Academic Publishers
ISBN : 9780792377498
The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof
Author:
Publisher : College Publications
ISBN : 9781904987680
Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. This volume contains invited and contributed paper
Author:
Publisher : Springer
ISBN : 9783540102694
Author: Normann, D.
Publisher : Springer
ISBN : 9783540100195
Proof Theory and Automated Deduction
Author: Jean Goubault-Larrecq;Ian MacKiePublisher : Kluwer Academic Publishers
ISBN : 9781402003684
Proof Theory and Automated Deduction is written forfinal-year undergraduate and first-year post-graduate students. Itshould also serve as a valuable reference for researchers in logic andcomputer science. It covers basic notions in logic, with a particularstress on proof theory, as opposed to, for example, model theory orset theory; and shows how they are applied in computer science, andespecially
Min Price: 98.00
Max Price: 98.00
Set Theory and Its Applications: Proceedings of a Conference Held at York University, Ontario, Canada, Aug. 10-21, 1987
Author: Publisher : Springer
ISBN : 9783540517306
The Set Theory and Applications meeting at York University, Ontario, featured both contributed talks and a series of invited lectures on topics central to set theory and to general topology. These proceedings contain a selection of the resulting papers, mostly announcing new unpublished results.
Min Price: 54.00
Max Price: 54.00
Thought Experiments
Author: Roy A. SorensenPublisher : Oxford University Press
ISBN : 9780195129137
Can merely thinking about an imaginary situation provide evidence for how the world actually is--or how it ought to be? In this lively book, Roy A. Sorensen addresses this question with an analysis of a wide variety of thought experiments ranging from aesthetics to zoology. Presenting thefirst general theory of thought experiment, he sets it within an evolutionary framework and integrates recent a
Min Price: 52.00
Max Price: 52.00
Alte Und Neue Logik: Vorlesung 1908/09
Author: Husserl, Edmund Publisher : Springer
ISBN : 9781402013973
Der vorliegende Band enthdlt den Text der vierst]ndigen Vorlesung, die Husserl im Wintersemester 1908/09 unter dem Titel Alte und neue Logik in Gvttingen gehalten hat. Es handelt sich bei dieser Vorlesung zum einen um eine Umarbeitung und Neugestaltung seiner Logikvorlesung von 1902/03, die im Band 2 der Materialien vervffentlicht wurde, zum anderen um eine Vorstufe der in Band XXX der Gesammelten
Min Price: 208.00
Max Price: 208.00
Synthesis and Backward Reference in Husserl's Logical Investigations
Author: Lampert, Jay ;Lampert, J. Publisher : Kluwer Academic Publishers
ISBN : 9780792331056
What does it mean to say that one experience is synthesized with others? This study is a speculative-exegetical Husserlian account of the ground, the mechanisms, and the results of synthesis. A detailed, rigorous and systematic analysis of Husserl's Logical Investigations, it argues that synthesizing consciousness must be a self-explicating system of interpretive acts driven by ongoing forward and
Min Price: 178.00
Max Price: 178.00
The Ways of Paradox, and Other Essays
Author: Quine, Willard Van OrmanPublisher : Harvard University Press
ISBN : 9780674948372
This expanded edition of The Ways of Paradox includes papers that are among Professor Quine's most important and influential, such as Truth by Convention, Carnap and Logical Truth, On Carnap's Views on Ontology, The Scope and Language of Science, and Posits and Reality. Many of these essays deal with unresolved issues of central interest to philosophers today. About half of them are addressed to a
Min Price: 31.00
Max Price: 31.00
Admissibility of Logical Inference Rules
Author: Rybakov, Vladimir V. ;Rybakov, V. V. Publisher : Unknown
ISBN : 9780444895059
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: • admissible or permissible inference rules• the derivability of the admissible inference rules• the structural completeness of logics• the bases for admissible and valid inference rules.There is particular emphasis on p
Min Price: 189.00
Max Price: 189.00
A Mathematical Structure for Emergent Computation
Author: Korotkich, Victor ;Korotkikh, V. Publisher : Kluwer Academic Publishers
ISBN : 9780792360100
An understanding of emergent computation requires a profound revision of the most fundamental ideas. A noticeable attempt of such a rethinking is a world view in which natural systems are seen not as separate entities but as integrated parts of a unified whole. The book for the first time presents such a mathematical structure, which remarkably is based on integers as the single concept. As intege
Min Price: 115.00
Max Price: 115.00
Human Agency and Language
Author: Taylor, CharlesPublisher : Cambridge University Press
ISBN : 9780521317504
Charles Taylor has been one of the most original and influential figures in contemporary philosophy: his ?philosophical anthropology? spans an unusually wide range of theoretical interests and draws creatively on both Anglo-American and Continental traditions in philosophy. A selection of his published papers is presented here in two volumes, structured to indicate the direction and essential unit
Min Price: 54.00
Max Price: 54.00
Philosophy and the Human Sciences
Author: Taylor, CharlesPublisher : Cambridge University Press
ISBN : 9780521317498
Charles Taylor has been one of the most original and influential figures in contemporary philosophy: his ?philosophical anthropology? spans an unusually wide range of theoretical interests and draws creatively on both Anglo-American and Continental traditions in philosophy. A selection of his published papers is presented here in two volumes, structured to indicate the direction and essential unit
Min Price: 49.00
Max Price: 49.00
The Courage of Doing Philosophy: Essays Presented to Leszek Nowak
Author: Publisher : Rodopi
ISBN : 9789042023369
In recent years, the problem of idealization has been one of the central issues discussed in philosophy of science. This volume gathers original essays written by well-known philosophers. The papers address the method of idealization and its applications in science as well as ontological and epistemological problems that have arisen. Among the questions addressed are: What is the logcal form of id
Min Price: 150.00
Max Price: 150.00
Cut Elimination in Categories
Author: Dosen, Kosta ;Dosen, K. Publisher : Kluwer Academic Publishers
ISBN : 9780792357209
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. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by compo
Min Price: 178.00
Max Price: 178.00
Elements of Logic and Foundations of Mathematics in Problems
Author: Marek, Wiktor ;Onyszkiewicz, Janusz Publisher : Springer
ISBN : 9789027721310
Min Price: 108.00
Max Price: 108.00
Algebraic Foundations of Many-Valued Reasoning
Author: Roberto CignoliPublisher : Kluwer Academic Publishers
ISBN : 9780792360094
This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are int
Min Price: 158.00
Max Price: 158.00
A Course in Mathematical Logic
Author: Iu I. ManinPublisher : Unknown
ISBN : 9780387902432
This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems. The book contains the first textbook presentation of Mat
Min Price: 74.00
Max Price: 74.00
Quantifiers: Logics, Models and Computation: Volume Two: Contributions
Author: Publisher : Kluwer Academic Publishers
ISBN : 9780792334491
The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical appro
Min Price: 161.00
Max Price: 161.00
Labelled Non-Classical Logics
Author: Vigano, Luca ;Viganc2, Luca ;Viganr, Luca Publisher : Kluwer Academic Publishers
ISBN : 9780792377498
The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof
Min Price: 248.00
Max Price: 248.00
Advances in Modal Logic Volume 7
Author: Publisher : College Publications
ISBN : 9781904987680
Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. This volume contains invited and contributed paper
Min Price: 30.00
Max Price: 30.00
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, Sept
Author: Publisher : Springer
ISBN : 9783540102694
Min Price: 80.00
Max Price: 80.00
Recursion on the Countable Functionals
Author: Normann, D. Publisher : Springer
ISBN : 9783540100195
Min Price: 29.00
Max Price: 29.00
Find book
books-az.com all rights reserved
