Preservation of equivalence of derivations under reduction of depth of formulas

DOI10.1007/BF01629449zbMath0493.03031MaRDI QIDQ1168318

Serguei V. Solov'ev

Publication date: 1982

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

invariancederivabilitydecreasing formula depthequivalence of proofsfragment of intuitionistic propositional calculusfree Cartesian closed categoryunivalent functor

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55) Complexity of proofs (03F20) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Reductions in Intuitionistic Linear Logic

Cites Work

• Propositional Calculus and Realizability
• Unnamed Item

This page was built for publication: Preservation of equivalence of derivations under reduction of depth of formulas