Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models - researchr publication

researchr

You are not signed in
Sign in
Sign up

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models. Journal of Automated Reasoning, 51(2):129-149, 2013. [doi]

Abstract is missing.

runs on WebDSL