Logic and Proof Beyond Equality

The core syntax of formulas (form below) provides the standard logical constructs, in decreasing order of precedence.

Saved in:
Bibliographic Details
Published inConcrete Semantics pp. 37 - 52
Main Authors Klein, Gerwin, Nipkow, Tobias
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2014
Springer International Publishing
Subjects
Computer programming / software development
Introduction Rule
Mathematical theory of computation
Programming & scripting languages: general
Proof Method
Proof State
Rule Induction
Transitive Closure
Online AccessGet full text
ISBN3319105418
9783319105413
DOI10.1007/978-3-319-10542-0_4

Cover

More Information
Summary:The core syntax of formulas (form below) provides the standard logical constructs, in decreasing order of precedence.
ISBN:3319105418
9783319105413
DOI:10.1007/978-3-319-10542-0_4