Gentzen-type calculi for involutive quantales (Q2575479): Difference between revisions

@@ 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/s10773-005-3965-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2074393451
@@ Property / OpenAlex ID: W2074393451 / rank @@
+Normal rank
@@ Property / cites work @@
+Non‐commutative intuitionistic linear logic
@@ Property / cites work: Non‐commutative intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Kripke semantics for the logic of Gelfand quantales
+Normal rank
@@ Property / cites work @@
+From basic logic to quantum logics with cut-elimination
+Normal rank
@@ Property / cites work @@
+The weakest prespecification
@@ Property / cites work: The weakest prespecification / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of linear logic for Petri net models
+Normal rank
@@ Property / cites work @@
+Quantized linear logic, involutive quantales and strong negation
+Normal rank
@@ Property / cites work @@
+Q4513584
@@ Property / cites work: Q4513584 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational proof system for linear and other substructural logics
+Normal rank
@@ Property / cites work @@
+Q3137162
@@ Property / cites work: Q3137162 / rank @@
+Normal rank
@@ Property / cites work @@
+On the quantisation of points
@@ Property / cites work: On the quantisation of points / rank @@
+Normal rank
@@ Property / cites work @@
+On the quantisation of spaces
@@ Property / cites work: On the quantisation of spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for minimal quantum logic. I
@@ Property / cites work: Proof theory for minimal quantum logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
+Normal rank
@@ Property / cites work @@
+Simple involutive quantales
@@ Property / cites work: Simple involutive quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretopologies and completeness proofs
@@ Property / cites work: Pretopologies and completeness proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for minimal quantum logic: A remark
@@ Property / cites work: Proof theory for minimal quantum logic: A remark / rank @@
+Normal rank
@@ Property / cites work @@
+Informational interpretation of substructural propositional logics
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2575479