Home
  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
  • Contacts
Menu

Search of articles

Generalized decomposability notions for first-order theories

Search

Author(s):
  • Denis Ponomaryov
Abstract:

This paper introduces the notion of decomposability in an extension and relative decomposability for first-order theories. We describe several basic facts connected with these notions and formulate a criterion of relative decomposability.

Keywords:
  • decomposable theories
  • modular terminological systems
DOI:
Issue
Computer Science. — 2007 . — # 26.
Pages:
103-110
File:
pnomaryov.pdf (133 KB)
© 2015 - 2025 Ershov IIS SB RAS, ICM&MG SB RAS
Registration Сertificate ЭЛ № ФС 77 – 68696
  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
  • Contacts