Double Negation Operator in Logic N ∗ (Q5741336): Difference between revisions

@@ Property / cites work @@
+Finite model property for negative modalities
@@ Property / cites work: Finite model property for negative modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028968
@@ Property / cites work: Q3028968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942002
@@ Property / cites work: Q4942002 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of First Degree Entailment
@@ Property / cites work: The Semantics of First Degree Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Models for normal intuitionistic modal logics
@@ Property / cites work: Models for normal intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3033739
@@ Property / cites work: Q3033739 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
+Normal rank
@@ Property / cites work @@
+Q3218105
@@ Property / cites work: Q3218105 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining intuitionistic connectives and Routley negation
+Normal rank
@@ Property / cites work @@
+Q3329439
@@ Property / cites work: Q3329439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3218106
@@ Property / cites work: Q3218106 / rank @@
+Normal rank
@@ Property / cites work @@
+Glivenko theorem for \(N^\ast\)-extensions
@@ Property / cites work: Glivenko theorem for \(N^\ast\)-extensions / rank @@
+Normal rank
@@ Property / cites work @@
+A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
+Normal rank