研究者詳細

学術論文
分割表示   全件表示 >>

64 件中 1 - 10 件目

年度
Year
論文題目名
Title of the articles
共著区分
Collaboration
   Classification
NeoCILIUS
   請求番号/資料ID
Request No
掲載誌名 Journal name,出版機関名 Publishing organization,巻/号 Vol./no.,頁数 Page nos.,発行年月(日) Date
2015  成立しない逆命題から成立する同値命題を作る考え方とその考察  共著   
Academia Sciences and Engineering  , Nanzan University  , 16/  , 2016/03   

概要(Abstract) 逆命題は,もとの命題の仮定の1 つと結論を入れかえた命題である.もとの命題は成立するものとして,本稿では,逆命題が成立しない場合に,もとの命題の仮定を結論と同値になるまで弱めるという考え方を考察し,数学教育におけるその考え方のよさを2つ挙げる. 

備考(Remarks) 藤城佳高
 

2014  平行線,角の二等分線,二等辺三角形の関係を用いた証明問題の作成について  共著   
Academia Sciences and Engineering  , 南山大学  , 15  , 2015/03   

概要(Abstract) 平行線,角の二等分線,二等辺三角形の関係に注目し,それを用いた証明問題を作成した結果を示した.より具体的には,証明問題を作成するある手法を提案し,その手法に従って作成した証明問題(30題)を紹介した.
 

備考(Remarks) 永井千尋 

2013  Normal forms and exact models in normal modal logics containing K4  単著   
Technical Report of the Nanzan Academic Society Information Sciences and Engineering  , Nanzan University  , NANZAN-TR-2013-01  , 1-27  , 2013/08   

概要(Abstract) In 2010, by using normal forms and exact models, we provided a detailed description of the mutual relation of formulas with finite propositional variables p_1,...,p_m in the modal logic S4. In the present paper, we extend most of the results to normal modal logics containing the modal logic K4.  

備考(Remarks)  

2012  Transitivity of finite models constructed from normal forms for a modal logic containing K4  単著   
Bulletin of the Section of Logic  , University of Lodz  , 41/1-2  , pp. 75-88  , 2012/07   

概要(Abstract) 2007年のMossの問題に対して、否定的な解を与えた。すなわち、S4を含む様相論理で、その深さnの標準形の論理式からMossの方法で構成される有限モデルが推移的でないものの例を挙げた。
 

備考(Remarks) http://www.filozof.uni.lodz.pl/bulletin/v4112.html
(査読あり) 

2011  形式体系に基づく実証明の分析  共著   
アカデミア情報理工学編  , 南山大学  , 12/  , 1-26  , 2012/03   

概要(Abstract) シークエント体系に基づいて、集合の分野で扱われているド・モルガン律と分配律の証明の分析を行った。具体的には、18冊の文献から証明を抽出し、それらを体系SNKに基づいた方法で表現し、分類・整理した。また、この分類毎に、多く用いられた推論規則を用いた証明の形を作成した。 

備考(Remarks) 加藤あや美 

2011  ε-N論法における変数に代入すべき項の選択方法  共著   
アカデミア情報理工学編  , 南山大学  , 12/  , 27-44  , 2012/03   

概要(Abstract) ε-N論法の証明における、変数に代入すべき項の選択方法を系統的にまとめた。対象とした証明は、数列の収束に関する11の基本的性質の証明である。代入すべき項が依存する変数の傾向を示してから、具体的な選択方法を示した。選択方法を構成する手法は、5つの文献で個別の性質に対して用いられているものを採用した。 

備考(Remarks) 川邊達治 

2010  シークエント体系の証明図から実証明を作る方法  単著   
アカデミア情報理工学編  , 南山大学  , 11/  , 35-54  , 2011/03   

概要(Abstract) シークエント体系の証明図から、実際の証明を作る手続きを示す。また、この手続きを素朴集合論における証明の作成に適用した例を示す。 

備考(Remarks)  

2010  Normal forms in two normal modal logics  単著   
数理解析研究所講究録  , 京都大学数理解析研究所  , /1729  , 123-145  , 2011/02   

概要(Abstract) Here, we discuss normal modal logics containing the normal modal logic K4. To do so, we use normal forms introduced by K. Sasaki in 2010. For two normal modal logics L_0 and L satisfying K4 ⊆ L_0 ⊆ L, we show relation between normal forms in L and normal forms in L_0. 

備考(Remarks)  

2010  Formulas in modal logic S4  単著   
The Review of Symbolic Logic  , The Association of Symbolic Logic  , 3/4  , 600-627  , 2010/12   

概要(Abstract) Here, we provide a detailed description of the mutual relation of formulas with finite propositional variables p_1,\cdots,p_m in modal logic S4. Specifically, we construct normal forms, which behave like the principal conjunctive normal forms in the classical propositional logic. The results include finite and effective methods to find a normal form equivalent to a given formula $A$ by clarifying the behavior of connectives and giving a finite method to list all exact models. 

備考(Remarks) 査読あり 

2010  Exact models in modal logic K4  単著   
Technical Report of the Nanzan Academic Society Information Sciences and Engineering  , Nanzan University  , NANZAN-TR-2010-03  , 1-16  , 2010/07/30   

概要(Abstract) 様相論理K4において、固定された有限個の命題変数からできる論理式で、様相記号の深さがnに制限されたものの集合を対象としたときの、すべてのexact modelを列挙する方法を述べた。 

備考(Remarks)  

Page: [<<PREV] [1] [2] [3] [4] [5] [6] [7] [NEXT>>]