Two different kinds of multiple-conclusion consequence relations taken from Shoesmith and Smiley (Multiple-conclusion logic, Cambridge University Press, Cambridge, 1978) and Galatos and Tsinakis (J Symb Logic 74:780–810, 2009) or Nowak (Bull Sect Logic 46:219–232, 2017), called here disjunctive and conjunctive, respectively, defined on a formal language, are considered. They are transferred into a bounded lattice and a complete lattice, respectively. The properties of such abstract consequence relations are presented.

中文翻译：

---

析取式和合取式多重结论后果关系

两种不同的多重结论结果关系取自 Shoesmith 和 Smiley（多重结论逻辑，剑桥大学出版社，剑桥，1978 年）和 Galatos 和 Tsinakis（J Symb Logic 74:780–810, 2009）或 Nowak（Bull Sect Logic） 46:219–232, 2017)，这里分别称为析取式和连接式，分别定义在正式语言上。它们分别转换为有界格和完全格。介绍了这种抽象后果关系的性质。