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

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

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

(9)

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