LK, LJ, dual intuitionistic logic, and quantum logic (Q558432): Difference between revisions

@@ Property / DOI @@
-.1305/ndjfl/1099238445
@@ Property / DOI: 10.1305/ndjfl/1099238445 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1099238445
+Normal rank
@@ Property / OpenAlex ID @@
+W2057714618
@@ Property / OpenAlex ID: W2057714618 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q55891978
@@ Property / Wikidata QID: Q55891978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666849
@@ Property / cites work: Q3666849 / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on Gentzen's calculus of sequents
@@ Property / cites work: A remark on Gentzen's calculus of sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / 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 @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential method in quantum logic
@@ Property / cites work: Sequential method in quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884093
@@ Property / cites work: Q3884093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic logic: reflection, symmetry, visibility
@@ Property / cites work: Basic logic: reflection, symmetry, visibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296741
@@ Property / cites work: Q4296741 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322102
@@ Property / cites work: Q3322102 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/ndjfl/Aoyama04
@@ Property / DBLP publication ID: journals/ndjfl/Aoyama04 / rank @@
+Normal rank
@@ Property / DOI @@
+.1305/NDJFL/1099238445
@@ Property / DOI: 10.1305/NDJFL/1099238445 / rank @@
+Normal rank