Labelling ideality and subideality (Q4632306): Difference between revisions

@@ Property / OpenAlex ID @@
+W1498006498
@@ Property / OpenAlex ID: W1498006498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
+Normal rank
@@ Property / cites work @@
+Q3995890
@@ Property / cites work: Q3995890 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal tableaux
@@ Property / cites work: First-order modal tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics-Based Translation Methods for Modal Logics
+Normal rank
@@ Property / cites work @@
+Q4385436
@@ Property / cites work: Q4385436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999021
@@ Property / cites work: Q3999021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/fapr/Governatori96
@@ Property / DBLP publication ID: conf/fapr/Governatori96 / rank @@
+Normal rank