A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP (Q4444938)

From MaRDI portal





scientific article; zbMATH DE number 2034304
Language Label Description Also known as
default for all languages
No label defined
    English
    A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP
    scientific article; zbMATH DE number 2034304

      Statements

      A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP (English)
      0 references
      0 references
      0 references
      28 January 2004
      0 references
      substructural logic
      0 references
      Kripke semantics
      0 references
      proof search
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references