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

@@ Property / author @@
+Lorenzo Tortora de Falco
@@ Property / author: Lorenzo Tortora de Falco / rank @@
+Normal rank
@@ 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

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

Revision as of 14:55, 1 July 2023

Statements

Sitelinks

Mathematics(0 entries)