Core logic / Neil Tennant.

Author
Tennant, Neil, 1950- [Browse]
Format
Book
Language
English
Εdition
First edition.
Published/​Created
  • Oxford, United Kingdom : Oxford University Press, 2017.
  • ©2017
Description
xvii, 357 pages : illustrations ; 26 cm

Availability

Copies in the Library

Location Call Number Status Location Service Notes
Firestone Library - Stacks BC108 .T455 2017 Browse related items Request

    Details

    Subject(s)
    Summary note
    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 references
    Includes bibliographical references (pages 338-345) and index.
    Contents
    • Introduction and overview
    • The road to core logic
    • The logic of evaluation
    • From the logic of evaluation to the logic of deduction
    • Motivating the rules of sequent calculus
    • Transitivity of deducibility
    • Epistemic gain
    • Truthmakers and consequence
    • Transmission of truthmakers
    • The relevance properties of core logic
    • Core logic and the paradoxes
    • Replies to critics of core logic.
    ISBN
    • 9780198777892 ((hardback))
    • 0198777892 ((hardback))
    LCCN
    2017944010
    OCLC
    964377276
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
    Other views
    Staff view

    Supplementary Information

    Other versions