Thfxmtical Computer Science Theoretical Computer Science380 A general conservative extension theorem in process algebras with inequalities

Source URL: www.cs.vu.nl

Keio University Thesis Abstract No. Registration

Source URL: www.flet.keio.ac.jp

• Mathematics
• Conservative extension
• Second-order arithmetic
• Cut-elimination theorem
• Ordinal analysis
• Reverse mathematics
• Proof theory
• Mathematical logic
• Logic

Modularity in DL-Lite Roman Kontchakov1 , Frank Wolter2 , and Michael Zakharyaschev1 1 School of Computer Science and Information Systems, Birkbeck College, London, {roman,michael}@dcs.bbk.ac.uk

Source URL: www.ceur-ws.org

• Logic
• Information
• Group theory
• Abox
• Tbox
• Parity of a permutation
• Conservative extension
• Structure
• Ontology
• Mathematics
• Model theory