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 / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B53
@@ Property / Mathematics Subject Classification ID: 03B53 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G12
@@ Property / Mathematics Subject Classification ID: 03G12 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2186745
@@ Property / zbMATH DE Number: 2186745 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent calculus
@@ Property / zbMATH Keywords: sequent calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+classical logic
@@ Property / zbMATH Keywords: classical logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intuitionistic logic
@@ Property / zbMATH Keywords: intuitionistic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum logic
@@ Property / zbMATH Keywords: quantum logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dual intuitionistic logic
@@ Property / zbMATH Keywords: dual intuitionistic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paraconsistent logic
@@ Property / zbMATH Keywords: paraconsistent logic / 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.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
@@ links / mardi / name / links / mardi / name @@
+Publication:558432