A theory of local negation: The model and some applications (Q3728898): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded derivations of \(C^*\)-algebras
@@ Property / cites work: Unbounded derivations of \(C^*\)-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4114596
@@ Property / cites work: Q4114596 / rank @@
+Normal rank
@@ Property / cites work @@
+Another intuitionistic completeness proof
@@ Property / cites work: Another intuitionistic completeness proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Logic and Local Mathematical Theories
+Normal rank
@@ Property / cites work @@
+Quantum mechanics and the local observer
@@ Property / cites work: Quantum mechanics and the local observer / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245484
@@ Property / cites work: Q3245484 / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic
@@ Property / cites work: Topoi. The categorial analysis of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3243448
@@ Property / cites work: Q3243448 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536167
@@ Property / cites work: Q5536167 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on the domain of an unbounded derivation of a \(C^*\)-algebra
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Functional Operators (AM-22), Volume 2
@@ Property / cites work: Functional Operators (AM-22), Volume 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620934
@@ Property / cites work: Q5620934 / rank @@
+Normal rank