Polarized and focalized linear and classical proofs (Q556824): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F05
@@ Property / Mathematics Subject Classification ID: 03F05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F07
@@ Property / Mathematics Subject Classification ID: 03F07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F52
@@ Property / Mathematics Subject Classification ID: 03F52 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2181953
@@ Property / zbMATH DE Number: 2181953 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Classical logic
@@ Property / zbMATH Keywords: Classical logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Linear logic
@@ Property / zbMATH Keywords: Linear logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Cut-elimination
@@ Property / zbMATH Keywords: Cut-elimination / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Proof-nets
@@ Property / zbMATH Keywords: Proof-nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Denotational semantics
@@ Property / zbMATH Keywords: Denotational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Polarization
@@ Property / zbMATH Keywords: Polarization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Focalization
@@ Property / zbMATH Keywords: Focalization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Reversion
@@ Property / zbMATH Keywords: Reversion / 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.1016/j.apal.2004.11.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2092580587
@@ Property / OpenAlex ID: W2092580587 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3357521
@@ Property / cites work: Q3357521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282602
@@ Property / cites work: Q4282602 / rank @@
+Normal rank
@@ Property / cites work @@
+A new deconstructive logic: linear logic
@@ Property / cites work: A new deconstructive logic: linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computational isomorphisms in classical logic
@@ Property / cites work: Computational isomorphisms in classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+SN and CR for free-style <i>LK<sup>tq</sup></i>: linear decorations and simulation of normalization
+Normal rank
@@ Property / cites work @@
+Q4263872
@@ Property / cites work: Q4263872 / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized proof-nets and \(\lambda \mu\)-calculus
@@ Property / cites work: Polarized proof-nets and \(\lambda \mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Classical isomorphisms of types
@@ Property / cites work: Classical isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264064
@@ Property / cites work: Q4264064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+A denotational semantics of \(LC2\)
@@ Property / cites work: A denotational semantics of \(LC2\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896474
@@ Property / cites work: Q4896474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364522
@@ Property / cites work: Q4364522 / rank @@
+Normal rank
@@ Property / cites work @@
+Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
+Normal rank
@@ Property / cites work @@
+The additive multiboxes
@@ Property / cites work: The additive multiboxes / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:556824