論文

査読有り
2012年11月

Glivenko theorems and negative translations in substructural predicate logics

ARCHIVE FOR MATHEMATICAL LOGIC
  • Hadi Farahani
  • ,
  • Hiroakira Ono

51
7-8
開始ページ
695
終了ページ
707
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1007/s00153-012-0293-8
出版者・発行元
SPRINGER

Along the same line as that in Ono (Ann Pure Appl Logic 161:246-250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFL (e) . It is shown that there exists the weakest logic over QFL (e) among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by using the same approach. First, a negative translation, called extended Kuroda translation is introduced. Then a translation result of an arbitrary involutive substructural predicate logics over QFL (e) is shown, and the existence of the weakest logic is proved among such logics for which the extended Kuroda translation works. They are obtained by a slight modification of the proof of the Glivenko theorem. Relations of our extended Kuroda translation with other standard negative translations will be discussed. Lastly, algebraic aspects of these results will be mentioned briefly. In this way, a clear and comprehensive understanding of Glivenko theorems and negative translations will be obtained from a substructural viewpoint.

リンク情報
DOI
https://doi.org/10.1007/s00153-012-0293-8
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000309348800003&DestApp=WOS_CPL
ID情報
  • DOI : 10.1007/s00153-012-0293-8
  • ISSN : 1432-0665
  • Web of Science ID : WOS:000309348800003

エクスポート
BibTeX RIS