Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457): Difference between revisions

@@ Property / cites work @@
+Mathematical thought. An introduction to the philosophy of mathematics
+Normal rank
@@ Property / cites work @@
+Q4250051
@@ Property / cites work: Q4250051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3977996
@@ Property / cites work: Q3977996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264728
@@ Property / cites work: Q4264728 / rank @@
+Normal rank
@@ Property / cites work @@
+A multimodal logic for reasoning about complementarity
+Normal rank
@@ Property / cites work @@
+Q2735802
@@ Property / cites work: Q2735802 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Nondeterministic algebraic specifications and nonconfluent term rewriting
+Normal rank
@@ Property / cites work @@
+Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about relative similarity
@@ Property / cites work: A logic for reasoning about relative similarity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267169
@@ Property / cites work: Q4267169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941933
@@ Property / cites work: Q4941933 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with first order nondeterministic specifications
+Normal rank
@@ Property / cites work @@
+A relational formalisation of arbitrary finite valued logics
+Normal rank
@@ Property / cites work @@
+Q4329272
@@ Property / cites work: Q4329272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3977997
@@ Property / cites work: Q3977997 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational proof system for linear and other substructural logics
+Normal rank
@@ Property / cites work @@
+Relational proof system for relevant logics
@@ Property / cites work: Relational proof system for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688805
@@ Property / cites work: Q5688805 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in sort theories and its applications
@@ Property / cites work: Unification in sort theories and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank