Basic Constructive Connectives, Determinism and Matrix-Based Semantics (Q3010364): Difference between revisions

@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
+Normal rank
@@ Property / cites work @@
+On Constructive Connectives and Systems
@@ Property / cites work: On Constructive Connectives and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625119
@@ Property / cites work: Q5625119 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a semantic characterization of cut-elimination
+Normal rank
@@ Property / cites work @@
+Q3397633
@@ Property / cites work: Q3397633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical connectives for intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789456
@@ Property / cites work: Q4789456 / rank @@
+Normal rank