ダウンロード数: 48
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
2193-12.pdf | 3.23 MB | Adobe PDF | 見る/開く |
タイトル: | HYPERSEQUENT CALCULI FOR INTERMEDIATE PREDICATE LOGICS (Logic, Language, Algebraic system and Related Areas in Computer Science) |
著者: | IMAMURA, TAKUMA MATSUMOTO, SHUYA QUAWAI, SHIN |
著者名の別形: | 今村, 拓万 松本, 周也 川井, 新 |
キーワード: | 03B55 03F03 68Q85 |
発行日: | Jul-2021 |
出版者: | 京都大学数理解析研究所 |
誌名: | 数理解析研究所講究録 |
巻: | 2193 |
開始ページ: | 81 |
終了ページ: | 89 |
抄録: | We report on the current status of our on-going project to develop well-behaved hypersequent calculi for intermediate predicate logics, such as the linearity axiom LIN: (φ → ψ) ∨ (ψ → φ) and the constant domain axiom CD: ∀x(φ∨ψ(x)) → φ∨∀xψ(x). |
URI: | http://hdl.handle.net/2433/265707 |
出現コレクション: | 2193 論理・言語・代数系と計算機科学の周辺領域 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。