A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020322000016
+Normal rank
@@ Property / OpenAlex ID @@
+W4210723037
@@ Property / OpenAlex ID: W4210723037 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Central and Exchange Properties of Orthomodular Lattices
+Normal rank
@@ Property / cites work @@
+Proof Theory
@@ Property / cites work: Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence operations
@@ Property / cites work: Equivalence of consequence operations / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508551
@@ Property / cites work: Q4508551 / rank @@
+Normal rank
@@ Property / cites work @@
+Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
+Normal rank
@@ Property / cites work @@
+Orthomodular lattices can be converted into left residuated l-groupoids
+Normal rank
@@ Property / cites work @@
+Involutive right-residuated l-groupoids
@@ Property / cites work: Involutive right-residuated l-groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
+Normal rank
@@ Property / cites work @@
+The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
+Normal rank
@@ Property / cites work @@
+Q3666849
@@ Property / cites work: Q3666849 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning in quantum theory. Sharp and unsharp quantum logics.
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence relations: an order-theoretic and categorical perspective
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+Coordinatization of Orthocomplemented and Orthomodular Posets
+Normal rank
@@ Property / cites work @@
+Material implications in orthomodular (and Boolean) lattices
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodular Logic
@@ Property / cites work: Orthomodular Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3584003
@@ Property / cites work: Q3584003 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of categorial grammars. A deductive account of natural language syntax and semantics
+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 @@
+Residuated structures and orthomodular lattices
@@ Property / cites work: Residuated structures and orthomodular lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank