General-elimination harmony and the meaning of the logical constants (Q600850)

From MaRDI portal





scientific article; zbMATH DE number 5809617
Language Label Description Also known as
default for all languages
No label defined
    English
    General-elimination harmony and the meaning of the logical constants
    scientific article; zbMATH DE number 5809617

      Statements

      General-elimination harmony and the meaning of the logical constants (English)
      0 references
      0 references
      3 November 2010
      0 references
      inferentialism
      0 references
      tonk
      0 references
      Dummett
      0 references
      Gentzen
      0 references
      Prawitz
      0 references
      Lorenzen
      0 references

      Identifiers