Core Logic
Publisher: Oxford University Press
Published: Nov 07, 2017
Language: eng
Format: hardcover
Number of pages: 360
ISBN-13: 9780198777892
Description: 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.