The epitome of grace, beauty and design, the Supermarine Spitfire was one of the most deadly fighters of WWII. Manufactured in huge numbers - over 20,000 were built - the Spitfire was the only figh...
Elementary Logic with Applications is written for undergraduate logic and logic
programming courses. Logic has been applied to a wide variety of subjects such
The Indian Motocycle Manufacturing Co. began producing motorcycles in Springfield, Massachusetts in 1901 and quickly became the world's largest manufacturer. While the Harley-Davidson WLA was the ...
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.’’ Where there was no shortcut ...
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...
Just ten days after Alan Shepard Jr. became America's first man in space on May 5, 1961, President John F. Kennedy challenged the nation, suggesting that the United States should land a man on the ...
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and a...
Developed and deployed in a short time due
to the pressure of the Vietnam War, Bell’s
AH-1 Cobra performed well; but Army
planners believed a better attack helicopter
would be needed in the next ...
Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, ...
The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with...
During the Vietnam War fleets of transport helicopters provided U.S. forces with an unprecented level of mobility and proved the concept of “air cavalry”. But without adequate support, helicopters...
Created as an aid for the astronauts training for Skylab missions, this Skylab Saturn IB Flight Manual is a comprehensive reference that contains descriptions of ground support interfaces, prelaunc...
The development of new and improved proof systems, proof formats and
proof search methods is one of the most essential goals of Logic. But
what is a proof? What makes a proof better than another? H...
Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emer...
What exactly is artificial intelligence?
This book is for all those who are curious to learn what artificial intelligence (AI) is. It is a purposely brief introduction to t...
On October 4, 1957 at 10:28 Moscow time, a rocket carrying the world's first orbiting satellite roared into space, signaling a new era in human history and the beginning of the so-called "space rac...
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy ...
Originally created in 1971 by NASA contractor Grumman, the Apollo Spacecraft News Reference (LEM) was intended to educate members of the media, government, and private sector contractors about one ...
Developed to replace the UH-1 Iroquis,Sikorsky’s UH-60 Black Hawk first entered service in 1979. A four-blade, twin-engine, medium-lift utility helicopter, the UH-60 serves as the U.S. Army’s prim...