Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. 'Core Logic' is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.
Previously issued in print: 2017. Includes bibliographical references and index. Description based on online resource; title from home page (viewed on September 15, 2017).