scientific article; zbMATH DE number 3995671

MaRDI QIDQ4723730zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

axiomatization of a theory of logical particlesconstructionsintuitionistic logicproof semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3887650
• Logical connectives for constructive modal logic
• Béziau on \textit{and} and \textit{or}
• Proof-functional connectives and realizability
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension

Cited in

(9)

• Types with intersection: An introduction
• Combining type disciplines
• Proof-functional connectives and realizability
• The ``relevance of intersection and union types
• A realizability interpretation for intersection and union types
• The -calculus: syntax and types
• A type checker for a logical framework with union and intersection types (system description)
• YACC: Yet Another Church Calculus. A birthday present for Herman inspired by his supervisor activity
• A typed lambda calculus with intersection types

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723730)