Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations

被引：0

作者：

Marek Nowak

机构：

[1] University of Lodz,Department of Logic

来源：

Studia Logica | 2020年 / 108卷

关键词：

Closure operation; Closure system; Multiple-conclusion consequence relation; Galois connection;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

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.

引用

页码：1125 / 1143

页数：18

共 14 条

[1]

Czelakowski J(1985)Key notions of Tarski’s methodology of deductive systems Studia Logica 44 321-351

[2]

Malinowski G(2001)Biclosed binary relations and Galois connections Order 18 89-104

[3]

Domenach F(1993)A Primer on Galois Connections Annals of the New York Academy of Sciences 704 103-125

[4]

Leclerc B(2009)Equivalence of consequence relations: an order-theoretic and categorical perspective Journal of Symbolic Logic 74 780-810

[5]

Erné M(1979)What is logic? The Journal of Philosophy 76 285-319

[6]

Koslowski J(2017)A syntactic approach to closure operation Bulletin of the Section of Logic 46 219-232

[7]

Melton A(2015)A system for proper multiple-conclusion entailment Logic and Logical Philosophy 24 241-253

[8]

Strecker GE(undefined)undefined undefined undefined undefined-undefined

[9]

Galatos N(undefined)undefined undefined undefined undefined-undefined

[10]

Tsinakis C(undefined)undefined undefined undefined undefined-undefined

← 1 2 →