"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

5-1992

Type

Technical Report

Abstract or Table of Contents

Saverio Cittadini. Intercalation Calculus for Intuitionistic Propositional Logic.

Comments

CMU-PHIL-29

Included in

Philosophy Commons

COinS