Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894): Difference between revisions

@@ Property / cites work @@
+Conditional Assertion and Restricted Quantification
+Normal rank
@@ Property / cites work @@
+Actions of Boolean rings on sets
@@ Property / cites work: Actions of Boolean rings on sets / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with 4 values: true, false, divergent and meaningless
+Normal rank
@@ Property / cites work @@
+Varieties of ”If-Then-Else“
@@ Property / cites work: Varieties of ”If-Then-Else“ / rank @@
+Normal rank
@@ Property / cites work @@
+On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
+Normal rank
@@ Property / cites work @@
+Q5582341
@@ Property / cites work: Q5582341 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Axiomatization of “If-Then-Else”
@@ Property / cites work: On the Axiomatization of “If-Then-Else” / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of conditional logic
@@ Property / cites work: The algebra of conditional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5660505
@@ Property / cites work: Q5660505 / rank @@
+Normal rank
@@ Property / cites work @@
+SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
+Normal rank
@@ Property / cites work @@
+Monoids with tests and the algebra of possibly non-halting programs
+Normal rank
@@ Property / cites work @@
+Triples and compact sheaf representation
@@ Property / cites work: Triples and compact sheaf representation / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Adas and the equational theory of if-then-else
@@ Property / cites work: Adas and the equational theory of if-then-else / rank @@
+Normal rank
@@ Property / cites work @@
+A transformational characterization of if-then-else
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Bases for If–Then–Else
@@ Property / cites work: Equational Bases for If–Then–Else / rank @@
+Normal rank
@@ Property / cites work @@
+Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
+Normal rank
@@ Property / cites work @@
+Conditional Expressions with Equality Tests
@@ Property / cites work: Conditional Expressions with Equality Tests / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison semigroups and algebras of transformations.
+Normal rank
@@ Property / cites work @@
+Sets with \(B\)-action and linear algebra
@@ Property / cites work: Sets with \(B\)-action and linear algebra / rank @@
+Normal rank