-20%
Algebraic Methods in General Rough Sets
Original price was: ₹13,851.00.₹11,082.00Current price is: ₹11,082.00.
This unique collection of research papers offers a comprehensive and up-to-date guide to algebraic approaches to rough sets and reasoning with vagueness. It bridges important gaps, outlines intriguing future research directions, and connects algebraic approaches to rough sets with those for other forms of approximate reasoning. In addition, the book reworks algebraic approaches to axiomatic granularity. Given its scope, the book offers a valuable resource for researchers and teachers in the areas of rough sets and algebras of rough sets, algebraic logic, non classical logic, fuzzy sets, possibility theory, formal concept analysis, computational learning theory, category theory, and other formal approaches to vagueness and approximate reasoning. Consultants in AI and allied fields will also find the book to be of great practical value.
-20%
Algebraic Methods in General Rough Sets
Original price was: ₹13,851.00.₹11,082.00Current price is: ₹11,082.00.
This unique collection of research papers offers a comprehensive and up-to-date guide to algebraic approaches to rough sets and reasoning with vagueness. It bridges important gaps, outlines intriguing future research directions, and connects algebraic approaches to rough sets with those for other forms of approximate reasoning. In addition, the book reworks algebraic approaches to axiomatic granularity. Given its scope, the book offers a valuable resource for researchers and teachers in the areas of rough sets and algebras of rough sets, algebraic logic, non classical logic, fuzzy sets, possibility theory, formal concept analysis, computational learning theory, category theory, and other formal approaches to vagueness and approximate reasoning. Consultants in AI and allied fields will also find the book to be of great practical value.
-20%
Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.
-20%
Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.
-20%
Ernst Zermelo: An Approach to His Life and Work
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics.
-20%
Ernst Zermelo: An Approach to His Life and Work
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics.
-20%
Exploring Formalisation
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.
-20%
Exploring Formalisation
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.
-20%
Feferman on Foundations: Logic, Mathematics, Philosophy
Original price was: ₹19,064.00.₹15,252.00Current price is: ₹15,252.00.
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics.
-20%
Feferman on Foundations: Logic, Mathematics, Philosophy
Original price was: ₹19,064.00.₹15,252.00Current price is: ₹15,252.00.
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics.
-20%
Gentzen’s Centenary: The Quest for Consistency
Original price was: ₹15,936.00.₹12,750.00Current price is: ₹12,750.00.
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond.
-20%
Gentzen’s Centenary: The Quest for Consistency
Original price was: ₹15,936.00.₹12,750.00Current price is: ₹12,750.00.
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond.
-20%
Heyting Algebras: Duality Theory
Original price was: ₹8,639.00.₹6,912.00Current price is: ₹6,912.00.
This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved popular among Russian-speaking logicians.
-20%
Heyting Algebras: Duality Theory
Original price was: ₹8,639.00.₹6,912.00Current price is: ₹6,912.00.
This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved popular among Russian-speaking logicians.
-20%
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
-20%
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
-20%
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics.
-20%
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics.