Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Author : Lev D. Beklemishev
Publisher : Elsevier
Page : 405 pages
File Size : 33,79 MB
Release : 2000-04-01
Category : Mathematics
ISBN : 008095507X
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Author : Carlos A. Di Prisco
Publisher : Springer
Page : 415 pages
File Size : 12,82 MB
Release : 2006-11-14
Category : Mathematics
ISBN : 3540394141
Author : International Symposium on Multiple Valued Logic
Publisher :
Page : 314 pages
File Size : 12,77 MB
Release : 2002
Category :
ISBN : 9780769514628
Author : Walter Alexandre Carnielli
Publisher : American Mathematical Soc.
Page : 266 pages
File Size : 26,56 MB
Release : 1988
Category : Mathematics
ISBN : 0821850768
Constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. This book offers an introduction to the active lines of research in mathematical logic and emphasizes the connections to other fields - philosophy, computer science and probability theory.
Author : A.A.J. Marley
Publisher : Routledge
Page : 415 pages
File Size : 27,76 MB
Release : 2019-05-23
Category : Psychology
ISBN : 1317729404
This volume is the result of a conference held at the University of California, Irvine, on the topics that provide its title -- choice, decision, and measurement. The conference was planned, and the volume prepared, in honor of Professor R. Duncan Luce on his 70th birthday. Following a short autobiographical statement by Luce, the volume is organized into four topics, to each of which Luce has made significant contributions. The book provides an overview of current issues in each area and presents some of the best recent theoretical and empirical work. Personal reflections on Luce and his work begin each section. These reflections were written by outstanding senior researchers: Peter Fishburn (Preference and Decision Making), Patrick Suppes (Measurement Theory and Axiomatic Systems), William J. McGill (Psychophysics and Reaction Time), and W.K. Estes (Choice, Identification and Categorization). The first section presents recent theoretical and empirical work on descriptive models of decision making, and theoretical results on general probabilistic models of choice and ranking. Luce's recent theoretical and empirical work on rank- and sign-dependent utility theory is important in many of these contributions. The second section presents results from psychophysics, probabilistic measurement, aggregation of expert opinion, and test theory. The third section presents various process oriented models, with supportive data, for tasks such as redundant signal detection, forced choice, and absolute identification. The final section contains theory and data on categorization and attention, and general theoretical results for developing and testing models in these domains.
Author : R.L. Cignoli
Publisher : Springer Science & Business Media
Page : 238 pages
File Size : 24,51 MB
Release : 2013-03-09
Category : Mathematics
ISBN : 9401594805
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 interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, such as a simple proof of the completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit - a necessary prerequisite for the incorporation of a genuine addition operation into fuzzy logic. Readers interested in fuzzy control are provided with a rich deductive system in which one can define fuzzy partitions, just as Boolean partitions can be defined and computed in classical logic. Detailed bibliographic remarks at the end of each chapter and an extensive bibliography lead the reader on to further specialised topics.
Author :
Publisher :
Page : 558 pages
File Size : 19,3 MB
Release : 1999
Category : Logic
ISBN :
Author :
Publisher :
Page : 452 pages
File Size : 50,51 MB
Release : 1989
Category : Algebra
ISBN :
Author : R.L. Epstein
Publisher : Springer Science & Business Media
Page : 403 pages
File Size : 31,12 MB
Release : 2013-11-11
Category : Philosophy
ISBN : 9400905254
This book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them? What is the significance of the mathematical theorems about logic which I've learned if they have no connection to our everyday reasoning? The answers I propose revolve around the perception that what one pays attention to in reasoning determines which logic is appropriate. The act of abstracting from our reasoning in our usual language is the stepping stone from reasoned argument to logic. We cannot take this step alone, for we reason together: logic is reasoning which has some objective value. For you to understand my answers, or perhaps better, conjectures, I have retraced my steps: from the concrete to the abstract, from examples, to general theory, to further confirming examples, to reflections on the significance of the work.
Author : Ricardo Baeza-Yates
Publisher : Springer Science & Business Media
Page : 550 pages
File Size : 37,6 MB
Release : 1995-03-20
Category : Computers
ISBN : 9783540591757
This volume constitutes the proceedings of the Second International Symposium, Latin American Theoretical Informatics, LATIN '95, held in Valparaiso, Chile in April 1995. The LATIN symposia are intended to be comprehensive events on the theory of computing; they provide a high-level forum for theoretical computer science research in Latin America and facilitate a strong and healthy interaction with the international community. The 38 papers presented in this volume were carefully selected from 68 submissions. Despite the intended broad coverage there are quite a number of papers devoted to computational graph theory; other topics strongly represented are complexity, automata theory, networks, symbolic computation, formal languages, data structures, and pattern matching.