Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658): Difference between revisions

@@ Property / cites work @@
+Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
+Normal rank
@@ Property / cites work @@
+Towards a semantic characterization of cut-elimination
+Normal rank
@@ Property / cites work @@
+A Simple Proof That Super-Consistency Implies Cut Elimination
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Truth Values Algebras and Proof Normalization
@@ Property / cites work: Truth Values Algebras and Proof Normalization / rank @@
+Normal rank
@@ Property / cites work @@
+Proof normalization modulo
@@ Property / cites work: Proof normalization modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Classical \(F_{\omega}\), orthogonality and symmetric candidates
+Normal rank
@@ Property / cites work @@
+Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
+Normal rank
@@ Property / cites work @@
+A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
+Normal rank