Mathematical foundations

This book deals with the visualization and exploration of invariant sets (fractals, strange attractors, resonance structures, patterns etc.

Although there are some books dealing with algebraic theory of automata, their contents consist mainly of Krohn-Rhodes theory and related topics.

This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence.

This invaluable book is a collection of 31 important - both in ideas and results - papers published by mathematical logicians in the 20th Century.

There are many uncertainties in the real world.

This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners.

Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic.

The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981.

This volume is a translation of the book Godel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist.

Reductionism is one of those philosophical myths that are either enthusiastically embraced or wholeheartedly rejected.

The Hindu-Arabic numeral system (1, 2, 3,.

This is the first book to comprehensively cover chromatic polynomials of graphs.

This book contains Volume 7 of the Journal of Graph Algorithms and Applications (JGAA).

This book contains Volume 8 of the Journal of Graph Algorithms and Applications (JGAA).

This volume is devoted to the main areas of mathematical logic and applications to computer science.

This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore.

This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005.

Nonlinear systems with stationary sets are important because they cover a lot of practical systems in engineering.

The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices.

The present monograph on matrix partial orders, the first on this topic, makes a unique presentation of many partial orders on matrices that have fascinated mathematicians for their beauty and applied scientists for their wide-ranging application potential.

This book presents a collection of invited articles by distinguished Mathematicians on the occasion of the Platinum Jubilee Celebrations of the Indian Statistical Institute, during the year 2007.

This book is about "e;diamond"e;, a logic of paradox.

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981.

Mathematical Applications and Modelling is the second in the series of the yearbooks of the Association of Mathematics Educators in Singapore.

This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics.

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981.

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting.

The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements.

This fourth volume in the series of yearbooks by the Association of Mathematics Educators in Singapore entitled Reasoning, Communication and Connections in Mathematics is unique in that it focuses on a single theme in mathematics education.

The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic, quantification of software, artificial intelligence, fuzzy sets and systems and soft computing.

This book is a useful, attractive introduction to basic counting techniques for upper secondary and junior college students, as well as teachers.

'Points, questions, stories, and occasional rants introduce the 24 chapters of this engaging volume.

The Asian Logic Conference (ALC) is a major international event in mathematical logic.

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology.

In the 21st century, digitalization is a global challenge of mankind.

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015.

This book contains the material for a first course in pure model theory with applications to differentially closed fields.

This book covers substantially the central ideas of a one semester course in automata theory.

Cellular automata are a class of spatially and temporally discrete mathematical systems characterized by local interaction and synchronous dynamical evolution.

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.

This book collects chapters which discuss interdisciplinary solutions to complex problems by using different approaches in order to save money, time and resources.

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one.

This book serves as a textbook in real analysis.

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data.

This book presents a collection of recent research on topics related to Pythagorean fuzzy set, dealing with dynamic and complex decision-making problems.

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models.

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018.

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.

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively.

This book introduces the theory of graded consequence (GCT) and its mathematical formulation.