Inferences and metainferences in \(\mathsf{ST}\) (Q830390)

From MaRDI portal
!
WARNING

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use the normal view instead:

scientific article; zbMATH DE number 7345788
Language Label Description Also known as
default for all languages
No label defined
    English
    Inferences and metainferences in \(\mathsf{ST}\)
    scientific article; zbMATH DE number 7345788

      Statements

      Inferences and metainferences in \(\mathsf{ST}\) (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      7 May 2021
      0 references
      strict-tolerant logic
      0 references
      metainferences
      0 references
      proof theory
      0 references
      internal vs external logic
      0 references
      paradoxes
      0 references

      Identifiers