Publication:4364522

zbMath0884.03053MaRDI QIDQ4364522

Lorenzo Tortora de Falco

Publication date: 1 April 1998

zbMATH Keywords

constructive proof; denotational semantics; cut-elimination; superimposition; classical proof; embedding of polarized but non-constrained \(LK\) in linear logic

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

03F05: Cut-elimination and normal-form theorems

03F03: Proof theory in general (including proof-theoretic semantics)

Related Items

Polarized and focalized linear and classical proofs