Completeness in equational hybrid propositional type theory (Q2278838): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2896709287
@@ Property / OpenAlex ID: W2896709287 / rank @@
+Normal rank
@@ Property / cites work @@
+A reduction of the axioms for the theory of prepositional types
+Normal rank
@@ Property / cites work @@
+Q4726218
@@ Property / cites work: Q4726218 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in hybrid type theory
@@ Property / cites work: Completeness in hybrid type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Hilbert-style axiomatisation for equational hybrid logic
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure extensions, proof rules, and hybrid axiomatics
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Some notes on nominalism
@@ Property / cites work: Some notes on nominalism / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of prepositional types
@@ Property / cites work: A theory of prepositional types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858033
@@ Property / cites work: Q4858033 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5173183
@@ Property / cites work: Q5173183 / rank @@
+Normal rank
@@ Property / cites work @@
+The life and work of Leon Henkin. Essays on his contributions
+Normal rank
@@ Property / cites work @@
+Identity, Equality, Nameability and Completeness
@@ Property / cites work: Identity, Equality, Nameability and Completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Identity, equality, nameability and completeness. Part II
+Normal rank
@@ Property / cites work @@
+Logic based on inclusion and abstraction
@@ Property / cites work: Logic based on inclusion and abstraction / rank @@
+Normal rank