Composition of an intuitionistic negation and negative modalities as a necessity operator (Q2434603): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-013-9235-8
@@ Property / DOI: 10.1007/s10469-013-9235-8 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-013-9235-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1969746263
@@ Property / OpenAlex ID: W1969746263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028968
@@ Property / cites work: Q3028968 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining intuitionistic connectives and Routley negation
+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 @@
+Q3218105
@@ Property / cites work: Q3218105 / 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 @@
+The Semantics of First Degree Entailment
@@ Property / cites work: The Semantics of First Degree Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
+Normal rank
@@ Property / cites work @@
+Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / DOI @@
+.1007/S10469-013-9235-8
@@ Property / DOI: 10.1007/S10469-013-9235-8 / rank @@
+Normal rank