Model-theoretic conservative extension for definitional theories (Q2333319): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2018.10.009
@@ Property / DOI: 10.1016/j.entcs.2018.10.009 / rank @@
-Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+HOL Constant Definition Done Right
@@ Property / cites work: HOL Constant Definition Done Right / rank @@
+Normal rank
@@ Property / cites work @@
+On definitions of constants and types in HOL
@@ Property / cites work: On definitions of constants and types in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+HOL with Definitions: Semantics, Soundness, and a Verified Implementation
+Normal rank
@@ Property / cites work @@
+A Consistent Foundation for Isabelle/HOL
@@ Property / cites work: A Consistent Foundation for Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending Isabelle/HOL’s Consistency
@@ Property / cites work: Comprehending Isabelle/HOL’s Consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Checking Conservativity of Overloaded Definitions in Higher-Order Logic
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2018.10.009
@@ Property / DOI: 10.1016/J.ENTCS.2018.10.009 / rank @@
+Normal rank