What people are saying - Write a review
We haven't found any reviews in the usual places.
FULL SENTENTIAL LOGIC
THEORY OF QUANTIFICATION EQUALITY
COMPLETENESS OF ELEMENTARY LOGIC
24 other sections not shown
Other editions - View all
Formal Methods: An Introduction to Symbolic Logic and to the Study of ...
Limited preview - 2012
appear application of reduction arithmetic atoms axiom-schema axiomatic axioms binary predicate characterized classical logic clearly closed semantic tableau closure schema computation consider consistent construction contains deduction problem deduction-theoretic deductive discipline deductive system deductive tableau definiens denote elementary logic equality and terms existential quantification finite sequence follows formal deduction Godel number heading True hence hermeneutics ijaI individual parameters inference schemata introduced intuitionistic logic logic theory machine logic with equality logical identity method of deduction method of formal modus ponens natural deduction natural number negation notation notion F numeralwise representable obtained Peirce's Law predicate parameter Premisses Conclusions primitive notions proof of Theorem prove purely implicational logic quantification reduction schema replaced representing formula respect schema ija Section 15 sentential connectives sentential logic sequent K/L structure subtableau succedent suitable Suppose tautology Theorem 21 True False truth values valuation problem wrongly placed