Generalized decomposability notions for first-order theories

MaRDI QIDQ2882989zbMATH OpenFDO

Authors Denis Ponomaryov

Publication date 11 May 2012

Published in Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

decomposable theorymodular terminological system

Mathematics Subject Classification ID

Other model constructions (03C30) Basic properties of first-order languages and structures (03C07)

Recommendations

• On decomposability of theories
• On decidability of the decomposability problem for finite theories
• Decomposable theories
• First-order theories of abstract dependence relations
• Complete Coinductive Theorems. II

Cited in

(8)

• On decomposability in logical calculi
• The Complexity of Decomposing Modal and First-Order Theories
• A full first-order constraint solver for decomposable theories
• Feferman-vaught decompositions for prefix classes of first order logic
• scientific article; zbMATH DE number 7333179 (Why is no real title available?)
• On decidability of the decomposability problem for finite theories
• scientific article; zbMATH DE number 3920432 (Why is no real title available?)
• On decomposability of theories

This page was built for publication: Generalized decomposability notions for first-order theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2882989)