Axiomatizing Jaśkowski’s Discussive Logic D2

Hitoshi Omori, Jesse Alama

研究成果: ジャーナルへの寄稿学術論文査読

11 被引用数 (Scopus)

抄録

We outline the rather complicated history of attempts at axiomatizing Jaśkowski’s discussive logic D2 and show that some clarity can be had by paying close attention to the language we work with. We then examine the problem of axiomatizing D2 in languages involving discussive conjunctions. Specifically, we show that recent attempts by Ciuciura are mistaken. Finally, we present an axiomatization of D2 in the language Jaśkowski suggested in his second paper on discussive logic, by following a remark of da Costa and Dubikajtis. We also deal with an interesting variant of D2, introduced by Ciuciura, in which negation is also taken to be discussive.

本文言語英語
ページ(範囲)1163-1180
ページ数18
ジャーナルStudia Logica
106
6
DOI
出版ステータス出版済み - 2018 12月 1

フィンガープリント

「Axiomatizing Jaśkowski’s Discussive Logic D2」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル