Wyniki wyszukiwania:
wyszukanych pozycji: 20
 |
Language in Action: Categories, Lambdas and Dynamic Logic Volume 130
ISBN: 9780444890009 / Angielski / Twarda / 1991 / 348 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.
This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical p...
|
cena:
650,19 |
 |
Games, Norms and Reasons: Logic at the Crossroads
ISBN: 9789400707139 / Angielski / Twarda / 2011 / 232 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This exploration of modern logic theory focuses on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. It reflects new and ambitious developments in human reasoning. This exploration of modern logic theory focuses on its relationships with other disciplines, including new interfaces with rational choice theory, ... |
cena:
402,53 |
 |
Logic Across the University: Foundations and Applications
ISBN: 9781848901223 / Angielski / Miękka / 2013 / 538 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) Modern logic is an active agent all across the university today, connecting disciplines, and transcending traditional boundaries. This book demonstrates this general role in the special setting of a conference at Tsinghua University, where modern logic was already taught in the 1930s by pioneers like Jin Yeulin. This boon contains an unusual dialogue between Chinese logicians and international colleagues representing a wide range of disciplines, including philosophy, mathematics, linguistics computer science, cognitive science, and the social sciences. The focus of this encounter is not only...
Modern logic is an active agent all across the university today, connecting disciplines, and transcending traditional boundaries. This book demonstrat...
|
cena:
125,58 |
 |
Models of Strategic Reasoning: Logics, Games, and Communities
ISBN: 9783662485392 / Angielski / Miękka / 2016 / 333 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been... Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational ... |
cena:
201,24 |
 |
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today
ISBN: 9781402050114 / Angielski / Twarda / 2006 / 348 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings: - Proof, Knowledge and Computation - Truth Values beyond Bivalence - Category-Theoretic... In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the dev... |
cena:
603,81 |
 |
The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse
ISBN: 9789048140824 / Angielski / Miękka / 2010 / 290 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As...
The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of ...
|
cena:
603,81 |
 |
Modal Logic for Open Minds
ISBN: 9781575865980 / Angielski / Miękka / 2010 / 381 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) In Modal Logic for Open Minds, Johan van Benthem provides an up-to-dateintroduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, andalso covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, and games. Taken together, the chapters show modal... In Modal Logic for Open Minds, Johan van Benthem provides an up-to-dateintroduction to the field of modal logic, outlining its major ideas ... |
cena:
109,31 |
 |
Proof, Computation and Agency: Logic at the Crossroads
ISBN: 9789400735811 / Angielski / Miękka / 2013 / 372 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.
This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'soc...
|
cena:
603,81 |
 |
The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse
ISBN: 9789401098700 / Angielski / Miękka / 2012 / 276 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the literary modes. A master's thesis by Erik Krabbe introduced me to the subject of tense logic. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers...
That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a p...
|
cena:
442,79 |
 |
The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse
ISBN: 9780792310815 / Angielski / Twarda / 1991 / 290 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As...
The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of ...
|
cena:
603,81 |
 |
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today
ISBN: 9789048124855 / Angielski / Miękka / 2009 / 348 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings: - Proof, Knowledge and Computation - Truth Values beyond Bivalence - Category-Theoretic... In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the dev... |
cena:
644,07 |
 |
Proof, Computation and Agency: Logic at the Crossroads
ISBN: 9789400700796 / Angielski / Twarda / 2011 / 396 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called '... |
cena:
603,81 |
 |
Games, Norms and Reasons: Logic at the Crossroads
ISBN: 9789400735774 / Angielski / Miękka / 2013 / 232 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This exploration of modern logic theory focuses on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. It reflects new and ambitious developments in human reasoning.
This exploration of modern logic theory focuses on its relationships with other disciplines, including new interfaces with rational choice theory, epi...
|
cena:
402,53 |
 |
Logic, Information and Agency
ISBN: 9780937073032 / Angielski / Miękka / 2025 / 225 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) |
cena:
136,02 |
 |
Logical Dynamics of Information and Interaction
ISBN: 9780521765794 / Angielski / Twarda / 2011 / 386 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all...
This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents with conversation, arg...
|
cena:
489,53 |
 |
Essays in Logical Semantics
ISBN: 9789027720924 / Angielski / Miękka / 1986 / 226 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can be given for complete fragments of natural language by creating a suitable fit between syntactic...
Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel conc...
|
cena:
201,24 |
 |
Semantics and Contextual Expression
ISBN: 9783110131208 / Angielski / Twarda / 1989 / 328 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) |
cena:
467,22 |
 |
Situations, Language and Logic
ISBN: 9781556080494 / Angielski / Miękka / 1987 / 194 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This monograph grew out of research at Xerox PARC and the Center for the Study of Language and Information (CSLI) during the first year of CSLI's existence. The Center was created as a meeting place for people from many different research traditions and there was much interest in seeing how the various approaches could be joined in a common effort to understand the complexity of language and information. CSLI was thus an ideal environment for our group and our enterprise. Our original goal was to see how a well-developed linguistic the- ory, such as lexical-functional grammar, could be joined...
This monograph grew out of research at Xerox PARC and the Center for the Study of Language and Information (CSLI) during the first year of CSLI's exis...
|
cena:
201,24 |
 |
Logic at the Crossroads (set): Proof, Computation and Agency Games, Norms and Reasons
ISBN: 9789400709201 / Angielski / Book / 2012 Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Proof, Computation and Agency Proof, Computation and Agency: Logic at the Cross Roads provides an overview of Logic and its relationship with other disciplines, and some of the emerging areas in terms. The volume brings out an inspiring paradigm, called 'Social Software', the study of patterns of social interaction by means of techniques from logic and computer science. Besides, it demonstrates how an extended view of logic can join forces with the social sciences, game theory or social choice theory, in studying patterns and procedures in social agency, and systematizing this field....
Proof, Computation and Agency Proof, Computation and Agency: Logic at the Cross Roads provides an overview of Logic and its relationship with other di...
|
cena:
603,81 |
 |
Exploring Logical Dynamics
ISBN: 9781575860589 / Angielski / Miękka / 1996 / 341 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of...
This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer scien...
|
cena:
117,61 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
