Proof-theoretic conservative extension of HOL with ad-hoc overloading (Q2037933)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proof-theoretic conservative extension of HOL with ad-hoc overloading |
scientific article; zbMATH DE number 7369981
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof-theoretic conservative extension of HOL with ad-hoc overloading |
scientific article; zbMATH DE number 7369981 |
Statements
Proof-theoretic conservative extension of HOL with ad-hoc overloading (English)
0 references
8 July 2021
0 references
classical higher-order logic
0 references
conservative theory extension
0 references
proof-theoretic conservativity
0 references
ad-hoc overloading
0 references
Isabelle
0 references
