scientific article; zbMATH DE number 3995671

zbMath0615.03047MaRDI QIDQ4723730

No author found.

Publication date: 1985

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

zbMATH Keywords

constructionsintuitionistic logicproof semanticsaxiomatization of a theory of logical particles

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

Proof-functional connectives and realizability, A Realizability Interpretation for Intersection and Union Types, The ``relevance of intersection and union types, A typed lambda calculus with intersection types, Types with intersection: An introduction, Unnamed Item, Combining type disciplines