Reducible Theories and Amalgamations of Models

DOI10.1145/3565364OpenAlexW4297999774MaRDI QIDQ5875951

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

first-order logicmodel theorysynonymous theoriesrelative interpretationamalgamations of modelsreducible theories

Mathematics Subject Classification ID

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

Cites Work

• Synonymous theories and knowledge representations in answer set programming
• Architectural specifications in CASL
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Foundations of geometry (Festschrift 1899). Edited and commented by Klaus Volkert
• Amalgamations preserving ℵ₁-categoricity
• A New Perspective on the Mereotopology of RCC8.
• Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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