The International Congresses of Logic, Methodology and Philosophy of Science, which are held every fourth year, give a cross-section of ongoing research in logic and philosophy of science.
A partially ordered group is an algebraic object having the structure of a group and the structure of a partially ordered set which are connected in some natural way.
Since their appearance in the late 19th century, the Cantor--Dedekind theory of real numbers and philosophy of the continuum have emerged as pillars of standard mathematical philosophy.
This volume contains a selection of papers presented at a Seminar on Intensional Logic held at the University of Amsterdam during the period September 1990-May 1991.
Between the two world wars, Stanislaw Lesniewski (1886-1939), created the famous and important system of foundations of mathematics that comprises three deductive theories: Protothetic, Ontology, and Mereology.
Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence.
On January 22, 1990, the late John Bell held at CERN (European Laboratory for Particle Physics), Geneva a seminar organized by the Center of Quantum Philosophy, that at this time was an association of scientists interested in the interpretation of quantum mechanics.
The conference on Ordered Algebraic Structures held in Curat;ao, from the 26th of June through the 30th of June, 1995, at the Avila Beach Hotel, marked the eighth year of ac- tivities by the Caribbean Mathematics Foundation (abbr.
Mathematics is often considered as a body of knowledge that is essen- tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it.
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations.
Nonstandard methods of analysis consist generally in comparative study of two interpretations of a mathematical claim or construction given as a formal symbolic expression by means of two different set-theoretic models: one, a "e;standard"e; model and the other, a "e;nonstandard"e; model.
Fuzzy Algorithms for Control gives an overview of the research results of a number of European research groups that are active and play a leading role in the field of fuzzy modeling and control.
When solving real-life engineering problems, linguistic information is often encountered that is frequently hard to quantify using "e;classical"e; mathematical techniques.
One of the characteristics of modern algebra is the development of new tools and concepts for exploring classes of algebraic systems, whereas the research on individual algebraic systems (e.
This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic held at the Banff Centre, Alberta, Canada from April 21 to May 4, 1991.
Fuzzy Logic: State of the Art covers a wide range of both theory and applications of fuzzy sets, ranging from mathematical basics, through artificial intelligence, computer management and systems science to engineering applications.
In decision theory there are basically two appr~hes to the modeling of individual choice: one is based on an absolute representation of preferences leading to a ntDnerical expression of preference intensity.
Non-Classical Logics and their Applications to Fuzzy Subsets is the first major work devoted to a careful study of various relations between non-classical logics and fuzzy sets.
In The Foundations of Quantum Mechanics - Historical Analysis and Open Questions, leading Italian researchers involved in different aspects of the foundations and history of quantum mechanics are brought together in an interdisciplinary debate.
