"Intercalation calculus for intuitionistic propositional logic" by Saverio Cittadini

Skip to main content

Department of Philosophy

Authors

Saverio Cittadini, Carnegie Mellon University

Title

Intercalation calculus for intuitionistic propositional logic

Date of Original Version

1992

Type

Technical Report

COinS