On decomposability in logical calculi (Q2882946)

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 6033035
Language Label Description Also known as
default for all languages
No label defined
    English
    On decomposability in logical calculi
    scientific article; zbMATH DE number 6033035

      Statements

      publication date
      11 May 2012
      0 references
      zbMATH Keywords
      set of logical symbols
      0 references
      Craig interpolation property
      0 references
      author
      Denis Ponomaryov
      0 references
      title
      On decomposability in logical calculi (English)
      0 references

      Identifiers

      zbMATH DE Number
      6033035
      0 references
       
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2882946&oldid=42439685"
      Powered by MediaWiki