Author : D. Mundici
Publisher : Springer Science & Business Media
Page : 264 pages
File Size : 22,11 MB
Release : 2011-06-22
Category : Mathematics
ISBN : 9400708408
This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals for such events, related algorithms.
Author : Franco Montagna
Publisher : Springer
Page : 324 pages
File Size : 11,41 MB
Release : 2014-09-23
Category : Mathematics
ISBN : 3319062336
This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on Hájek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of Hájek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic. Articles in the volume also focus on the treatment of vagueness, building connections between Hájek's favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles. Other articles, with an algebraic flavour, offer a summary of the applications of lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication. The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that Hájek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call Hájek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigated by Hájek in the context of fuzzy logic.
Author : Dieter Probst
Publisher : Walter de Gruyter GmbH & Co KG
Page : 384 pages
File Size : 36,43 MB
Release : 2016-07-25
Category : Philosophy
ISBN : 150150262X
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.
Author : Susanne Saminger-Platz
Publisher : Springer
Page : 284 pages
File Size : 42,5 MB
Release : 2016-01-11
Category : Technology & Engineering
ISBN : 3319288083
The book is a collection of contributions by leading experts, developed around traditional themes discussed at the annual Linz Seminars on Fuzzy Set Theory. The different chapters have been written by former PhD students, colleagues, co-authors and friends of Peter Klement, a leading researcher and the organizer of the Linz Seminars on Fuzzy Set Theory. The book also includes advanced findings on topics inspired by Klement’s research activities, concerning copulas, measures and integrals, as well as aggregation problems. Some of the chapters reflect personal views and controversial aspects of traditional topics, while others deal with deep mathematical theories, such as the algebraic and logical foundations of fuzzy set theory and fuzzy logic. Originally thought as an homage to Peter Klement, the book also represents an advanced reference guide to the mathematical theories related to fuzzy logic and fuzzy set theory with the potential to stimulate important discussions on new research directions in the field.
Author : Salvatore Greco
Publisher : Springer
Page : 615 pages
File Size : 35,92 MB
Release : 2012-07-20
Category : Computers
ISBN : 3642317154
These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling; computing with words and decision making; soft computing in computer vision; rough sets and complex data analysis: theory and applications; intelligent databases and information system; information fusion systems; philosophical and methodological aspects of soft computing; basic issues in rough sets; 40th anniversary of the measures of fuziness; SPS11 uncertainty in profiling systems and applications; handling uncertainty with copulas; formal methods to deal with uncertainty of many-valued events; linguistic summarization and description of data; fuzzy implications: theory and applications; sensing and data mining for teaching and learning; theory and applications of intuitionistic fuzzy sets; approximate aspects of data mining and database analytics; fuzzy numbers and their applications; information processing and management of uncertainty in knowledge-based systems; aggregation functions; imprecise probabilities; probabilistic graphical models with imprecision: theory and applications; belief function theory: basics and/or applications; fuzzy uncertainty in economics and business; new trends in De Finetti's approach; fuzzy measures and integrals; multicriteria decision making; uncertainty in privacy and security; uncertainty in the spirit of Pietro Benvenuti; coopetition; game theory; probabilistic approach.
Author : Shier Ju
Publisher : Springer Nature
Page : 159 pages
File Size : 40,99 MB
Release : 2020-01-31
Category : Philosophy
ISBN : 9811513422
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity of non-classical logics mean that this area is a natural catalyst for ideas and insights from many different fields, from information theory to game theory and business science. This volume is the post-proceedings of the 8th International Conference on Logic and Cognition, held at Sun Yat-Sen University Institute of Logic and Cognition (ILC) in Guangzhou, China in December 2016. The conference series started in 2001, and is organized by the ILC, often in collaboration with various international research groups. This eighth installment was jointly organized by ILC and Alessandra Palmigiano's Applied Logic research group. The conference series aims to foster the development of effective logical tools to study social behavior from a philosophical, cognitive and formal perspective in order to challenge the field of logic in ways that open up new and exciting research directions. Chapter "The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms" of this book is available open access under a CC BY 4.0 license at link.springer.com
Author : Andreas Blass
Publisher : Springer Nature
Page : 349 pages
File Size : 49,44 MB
Release : 2020-05-22
Category : Computers
ISBN : 3030480062
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.
Author : Jan Awrejcewicz
Publisher : MDPI
Page : 172 pages
File Size : 48,81 MB
Release : 2019-10-16
Category : Science
ISBN : 3039216163
In order to measure and quantify the complex behavior of real-world systems, either novel mathematical approaches or modifications of classical ones are required to precisely predict, monitor, and control complicated chaotic and stochastic processes. Though the term of entropy comes from Greek and emphasizes its analogy to energy, today, it has wandered to different branches of pure and applied sciences and is understood in a rather rough way, with emphasis placed on the transition from regular to chaotic states, stochastic and deterministic disorder, and uniform and non-uniform distribution or decay of diversity. This collection of papers addresses the notion of entropy in a very broad sense. The presented manuscripts follow from different branches of mathematical/physical sciences, natural/social sciences, and engineering-oriented sciences with emphasis placed on the complexity of dynamical systems. Topics like timing chaos and spatiotemporal chaos, bifurcation, synchronization and anti-synchronization, stability, lumped mass and continuous mechanical systems modeling, novel nonlinear phenomena, and resonances are discussed.
Author : Wolfgang Ahrendt
Publisher : Springer Nature
Page : 531 pages
File Size : 15,40 MB
Release : 2022-07-04
Category : Computers
ISBN : 3031081668
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.
Author : Chakraverty, S.
Publisher : IGI Global
Page : 442 pages
File Size : 38,55 MB
Release : 2014-01-31
Category : Mathematics
ISBN : 1466649925
"This book provides the reader with basic concepts for soft computing and other methods for various means of uncertainty in handling solutions, analysis, and applications"--Provided by publisher.
