We present a bisequent calculus (BSC) for the minimal theory of definite descriptions (DD) in the setting of neutral free logic, where formulae with non-denoting terms have no truth value. The treatment of quantifiers, atomic formulae and simple terms is based on the approach developed by Pavlovi\'{c} and Gratzl. We extend their results to the version with identity and definite descriptions. In particular, the admissibility of cut is proven for this extended system.

翻译：我们提出了一种用于中立自由逻辑中定描述词（DD）最小理论的双矢列演算（BSC），其中包含非指称项的公式没有真值。对量词、原子公式及简单项的处理基于Pavlović和Gratzl所发展的方法。我们将他们的结果推广到包含等词和定描述词的版本。特别地，我们证明了该扩展系统中切割规则的可容许性。