Structural Rules in Natural Deduction with Alternatives (Q6200461): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.18778/0138-0680.2023.6
+Normal rank
@@ Property / OpenAlex ID @@
+W4384696885
@@ Property / OpenAlex ID: W4384696885 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Q3007265
@@ Property / cites work: Q3007265 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rejection and valuations
@@ Property / cites work: Rejection and valuations / rank @@
+Normal rank
@@ Property / cites work @@
+Assumption Classes in Natural Deduction
@@ Property / cites work: Assumption Classes in Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+A normalizing system of natural deduction for intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282613
@@ Property / cites work: Q4282613 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483305
@@ Property / cites work: Q5483305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457387
@@ Property / cites work: Q5457387 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Nets for Classical Logic
@@ Property / cites work: Proof Nets for Classical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Rejection
@@ Property / cites work: Rejection / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural Logics in Natural Deduction
@@ Property / cites work: Substructural Logics in Natural Deduction / rank @@
+Normal rank