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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22119-4_11
+Normal rank
@@ Property / OpenAlex ID @@
+W41388193
@@ Property / OpenAlex ID: W41388193 / rank @@
+Normal rank
@@ 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