scientific article

From MaRDI portal

Publication:2701978

Jump to:navigation, search

zbMath0968.03064MaRDI QIDQ2701978

Didier Galmiche, Vincent Balat

Publication date: 12 March 2001

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

zbMATH Keywords

linear logic proof-net classical logic labelled sequent calculi intuitionistic provability proof-search labelled proof systems

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Unnamed Item, Proof-search in type-theoretic languages: An introduction

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2701978&oldid=15542064"