Core logic /

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.

Bibliographic Details
Main Author: Tennant, Neil, 1950-
Format: eBook
Language:English
Published: Oxford : Oxford University Press, 2017.
Edition:First edition.
Subjects:
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Physical Description:1 online resource
Bibliography:Includes bibliographical references and index.
ISBN:9780191823367
0191823368
9780191083655
0191083658