文献
J-GLOBAL ID：202202233588044752   整理番号：22A0494879

Sacetti論理のための内挿特性【JST・京大機械翻訳】

Interpolation Properties for Sacchetti’s Logics
著者 (1件)：
Iwata Sohei

Iwata Sohei について

(Graduate School of System Informatics, Kobe University, Nada-ku, Kobe, Japan)

Graduate School of System Informatics, Kobe University, Nada-ku, Kobe, Japan について


資料名：
Springer Proceedings in Mathematics & Statistics  (Springer Proceedings in Mathematics & Statistics)

Springer Proceedings in Mathematics & Statistics について


巻： 369  ページ： 47-76  発行年： 2022年 
JST資料番号： W5074A  ISSN： 2194-1009  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,Godel-Lob論理[数式:原文を参照]のフラグメントであるSacchetti論理[数式:原文を参照]の補間特性を検討した。Shamkanovの円形証明議論を用いて,Sacchetti論理[数式:原文を参照]に対する有効Lyndon補間特性を証明した。Copyright Springer Nature Singapore Pte Ltd. 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*内挿法

内挿法 について


著者キーワード (3件)：
Sacettiの論理

Sacettiの論理 について

, 
Lyndon内挿特性

Lyndon内挿特性 について

, 
有効不動点定理

有効不動点定理 について

分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
論理代数 
(JB03000H)

論理代数 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
論理

論理 について

, 
内挿

内挿 について


前のページに戻る

TOP

BOTTOM