Core Logic
Work detail
Bookitis Pick
CL
Image source: Open LibraryNeil Tennant1 editions
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.
Overview
Shared work-level identity and catalog context.
1 credited authorSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Neil Tennant
Editions
Publication-specific versions linked to this work only.
