scientific article; zbMATH DE number 1231532

zbMath0908.03009MaRDI QIDQ4222847

Lorenzo Tortora de Falco

Publication date: 14 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#tortora

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicconfluencestandardizationadditive connectives

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• A new constructive logic: classic logic

This page was built for publication: