非古典述語論理のための代数的意味論の再構築

Notes on use

Related materials as well as pre- and post-revision versions

24540120

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Shizuoka University REpository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Shizuoka University REpository

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 文書・図像類
Title: 非古典述語論理のための代数的意味論の再構築
Author/Editor: 鈴木, 信行
Author Heading: 鈴木, 信行
Publication, Distribution, etc.: 静岡大学
Publication Date: 2017-06-21
Publication Date (W3CDTF): 2017-06-21
Alternative Title: Reconstruction of algebraic semantics for non-classical predicate logics
Text Language Code: jpn
Subject Heading: 非古典論理
代数的意味論
述語論理
クリプキ意味論
NDC: 410
Target Audience: 一般
Note (General): 2012年度～2016年度科学研究費助成事業(基盤研究(C))研究成果報告書
application/pdf
Format (IMT): application/pdf
Source: 24540120seika
https://shizuoka.repo.nii.ac.jp/record/11274/files/24540120seika.pdf
Access Restrictions: 限定公開
Related Material: 24540120
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 静岡大学 : 静岡大学学術リポジトリ