R. Padmanabhan's Books

Axioms For Lattices And Boolean Algebras

By: R Padmanabhan,Sergiu Rudeanu

Write a review Read reviews Take a Quiz Solve Book Puzzle

Axioms For Lattices And Boolean Algebras

By: R Padmanabhan,Sergiu Rudeanu

The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of “join and meet” or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems.A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which — according to G Gratzer, a leading expert in modern lattice theory — is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

229

Publisher

World Scientific

Published Date

ISBN 10

9814469963

ISBN 13

9789814469968

Automated Deduction in Equational Logic and Cubic Curves

By: William McCune,R. Padmanabhan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automated Deduction in Equational Logic and Cubic Curves

By: William McCune,R. Padmanabhan

This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their joint effort. Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

248

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540613986

ISBN 13

9783540613985

Industrial Instrumentation

Principles and Design

By: Tattamangalam R. Padmanabhan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Industrial Instrumentation

Principles and Design

By: Tattamangalam R. Padmanabhan

Pneumatic, hydraulic and allied instrumentation schemes have given way to electronic schemes in recent years thanks to the rapid strides in electronics and allied areas. Principles, design and applications of such state-of-the-art instrumentation schemes form the subject matter of this book. Through representative examples, the basic building blocks of instrumentation schemes are identified and each of these building blocks discussed in terms of its design and interface characteristics. The common generic schemes synthesized with such building blocks are dealt with subsequently. This forms the scope of Part I. The focus in Part II is on application. Displacement and allied instrumentation, force and allied instrumentation and process instrumentation in terms of temperature, flow, pressure level and other common process variables are dealt with separately and exhaustively. Despite the diversity in the sensor principles and characteristics and the variety in the applications and their environments, it is possible judiciously to carve out broad areas of application for each type of sensor and the instrumentation built around it. The last chapter categorises instrumentation schemes according to their different levels of complexity. Specific practical examples - especially at involved complexity levels - are discussed in detail.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

658

Publisher

Springer Science & Business Media

Published Date

ISBN 10

144710451X

ISBN 13

9781447104513

Book's by R. Padmanabhan

Axioms For Lattices And Boolean Algebras

Axioms For Lattices And Boolean Algebras

Automated Deduction in Equational Logic and Cubic Curves

Automated Deduction in Equational Logic and Cubic Curves

Industrial Instrumentation

Industrial Instrumentation

Username

Password

Username

Password

Password again

Birthday

Email