Preservation of equivalence of derivations under reduction of depth of formulas
From MaRDI portal
Publication:1168318
DOI10.1007/BF01629449zbMath0493.03031MaRDI QIDQ1168318
Publication date: 1982
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
invariance; derivability; decreasing formula depth; equivalence of proofs; fragment of intuitionistic propositional calculus; free Cartesian closed category; univalent functor
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03F55: Intuitionistic mathematics
03F20: Complexity of proofs
18A15: Foundations, relations to logic and deductive systems
Related Items
Reductions in Intuitionistic Linear Logic, Coherence in SMCCs and equivalences on derivations in IMML with unit
Cites Work