scientific article; zbMATH DE number 1088207

zbMATH Open0884.03053MaRDI QIDQ4364522FDOQ4364522

Authors: Lorenzo Tortora de Falco 

Publication date: 1 April 1998

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4896474
• Polarized and focalized linear and classical proofs
• scientific article; zbMATH DE number 1678362
• scientific article; zbMATH DE number 1342282
• scientific article; zbMATH DE number 2134916

zbMATH Keywords

denotational semanticscut-eliminationconstructive proofsuperimpositionclassical proofembedding of polarized but non-constrained \(LK\) in linear logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Title not available (Why is that?)
• Polarized and focalized linear and classical proofs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364522)