Logic, topology, and integration

DOI10.1007/BF00881713zbMath0822.03020OpenAlexW1972235384MaRDI QIDQ1893128

Karl Schlechta

Publication date: 28 September 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881713

zbMATH Keywords

compactnessLebesgue integralseparation properties\(\sigma\)-algebra of measurable sets on the set of theoriescloseness of two theoriescontinuous logicsdifference between two logicstopologies on the set of theories

Mathematics Subject Classification ID

Model theory (03C99) Artificial intelligence (68T99) Other connections with logic and set theory (28E15) Connections of general topology with other structures, applications (54H99)

Related Items (1)

Explaining updates by minimal sums

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Variable precision logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Some Results on Classical Preferential Models

This page was built for publication: Logic, topology, and integration