scientific article

zbMath0495.03012MaRDI QIDQ3958435

Silvio Valentini

Publication date: 1982

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items

A modal sequent calculus for a fragment of arithmetic, The well-founded algebras, A binary modal logic for the intersection types of lambda-calculus., Unnamed Item