Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087): Difference between revisions

@@ Property / describes a project that uses @@
+KRIPKE
@@ Property / describes a project that uses: KRIPKE / 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/s11225-005-8474-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2122478249
@@ Property / OpenAlex ID: W2122478249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028968
@@ Property / cites work: Q3028968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715517
@@ Property / cites work: Q2715517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751047
@@ Property / cites work: Q2751047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715515
@@ Property / cites work: Q2715515 / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Q5764366
@@ Property / cites work: Q5764366 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Contradiction
@@ Property / cites work: The Logic of Contradiction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721200
@@ Property / cites work: Q2721200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339292
@@ Property / cites work: Q5339292 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on dual-intuitionistic logic
@@ Property / cites work: A note on dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256189
@@ Property / cites work: Q3256189 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic truth
@@ Property / cites work: Intuitionistic truth / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+A formalization of the propositional calculus of H-B logic
+Normal rank
@@ Property / cites work @@
+Q3884093
@@ Property / cites work: Q3884093 / rank @@
+Normal rank
@@ Property / cites work @@
+The Trilattice of Constructive Truth Values
@@ Property / cites work: The Trilattice of Constructive Truth Values / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532132
@@ Property / cites work: Q4532132 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+On logics with coimplication
@@ Property / cites work: On logics with coimplication / rank @@
+Normal rank