Truth and deducibility

  • Yu. I. Manin
Part of the Graduate Texts in Mathematics book series (GTM, volume 53)

Abstract

The basic content of this section is Lemma 1.4 and Definitions 1.5 and 1.6. The lemma guarantees that the terms and formulas of any language in L1 can be deciphered in a unique way, and it serves as a basis for most inductive arguments. (The reader may take the lemma on faith for the time being, provided that he was able independently to verify the last formula in 3.7 of Chapter I. However, the proof of the lemma will be needed in §4 of Chapter VII.) It is important to remember that the theory of any formal language begins by checking that the syntactic rules are free of ambiguity.

Keywords

Boolean Algebra Quantum Logic Induction Assumption Atomic Formula Standard Interpretation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1977

Authors and Affiliations

  • Yu. I. Manin
    • 1
  1. 1.V. A. Steklov Mathematical Institute of the Academy of SciencesMoscowUSSR

Personalised recommendations