Near-equational and equational systems of logic for partial functions. I (Q3032234): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2274743
@@ Property / full work available at URL: https://doi.org/10.2307/2274743 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4238461530
@@ Property / OpenAlex ID: W4238461530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3967510
@@ Property / cites work: Q3967510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
+Normal rank
@@ Property / cites work @@
+A system of logic for partial functions under existence-dependent kleene equality
+Normal rank
@@ Property / cites work @@
+Gültigkeitsbegriffe für Gleichungen in partiellen Algebren
+Normal rank
@@ Property / cites work @@
+Q5639727
@@ Property / cites work: Q5639727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4759224
@@ Property / cites work: Q4759224 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for weak equational logic
@@ Property / cites work: A completeness theorem for weak equational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
+Normal rank
@@ Property / cites work @@
+Algebra of constructions. I. The word problem for partial algebras
+Normal rank