論文

査読有り
2017年

A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ダウンロード
回数 : 459
  • Yosuke Fukuda
  • ,
  • Ryosuke Igarashi

10445
開始ページ
554
終了ページ
569
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-662-55665-8_38
出版者・発行元
Springer Verlag

This paper is intended to offer a philosophical analysis of the propositional intuitionistic logic formulated as NJ. This system has been connected to Prawitz and Dummett’s proof-theoretic semantics and its computational counterpart. The problem is, however, there has been no successful justification of ex falso quodlibet (EFQ): “From the absurdity ‘ ⊥ ’, an arbitrary formula follows.” To justify this rule, we propose a novel intuitionistic natural deduction with what we call quasi-multiple conclusion. In our framework, EFQ is no longer an inference deriving everything from ‘ ⊥ ’, but rather represents a “jump” inference from the absurdity to the other possibility.

リンク情報
DOI
https://doi.org/10.1007/978-3-662-55665-8_38
ID情報
  • DOI : 10.1007/978-3-662-55665-8_38
  • ISSN : 1611-3349
  • ISSN : 0302-9743
  • SCOPUS ID : 85029446770

エクスポート
BibTeX RIS