Intensional proof-theoretic semantics and the rule of contraction (Q6599515)

From MaRDI portal





scientific article; zbMATH DE number 7908027
Language Label Description Also known as
default for all languages
No label defined
    English
    Intensional proof-theoretic semantics and the rule of contraction
    scientific article; zbMATH DE number 7908027

      Statements

      Intensional proof-theoretic semantics and the rule of contraction (English)
      0 references
      6 September 2024
      0 references

      Identifiers