Generalized decomposability notions for first-order theories

zbMATH Open1249.03042MaRDI QIDQ2882989FDOQ2882989

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)

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

zbMATH Keywords

decomposable theorymodular terminological system

Mathematics Subject Classification ID

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

Cited In (8)

• Feferman-vaught decompositions for prefix classes of first order logic
• On decidability of the decomposability problem for finite theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• On decomposability of theories
• The Complexity of Decomposing Modal and First-Order Theories
• A full first-order constraint solver for decomposable theories
• On decomposability in logical calculi

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)