Abstract

In the paper, a natural class of logical calculi is fixed for which we formulate the notion of a Δ -decomposable set of formulas. We demonstrate that the property of uniqueness of signature decompositions holds in those calculi of this class that have the Craig interpolation property. In conclusion, we give a sufficient condition for the Δ-decomposability property to be decidable.

File
Issue
Pages
111-120