Reducible Theories and Amalgamations of Models

DOI10.1145/3565364MaRDI QIDQ5875951zbMATH OpenOpenAlexWikidataFDO

Authors Bahar Aameri, Michael Gruninger

Publication date 7 February 2023

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3565364

zbMATH Keywords

amalgamations of modelsfirst-order logicmodel theoryreducible theoriesrelative interpretationsynonymous theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A new perspective on the mereotopology of RCC8
• Amalgamations preserving ℵ₁-categoricity
• Architectural specifications in CASL
• Axioms for lattices and Boolean algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Foundations of geometry (Festschrift 1899). Edited and commented by Klaus Volkert
• scientific article; zbMATH DE number 1614690 (Why is no real title available?)
• scientific article; zbMATH DE number 1805574 (Why is no real title available?)
• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3583768 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Model Theory
• Synonymous theories and knowledge representations in answer set programming

Cited in

(2)

• Structuralism, model theory and reduction
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)

This page was built for publication: Reducible Theories and Amalgamations of Models

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