佐々木克巳 (Katsumi Sasaki) - マイポータル

基本情報

所属: 南山大学理工学部電子情報工学科

学位: 理学修士
Doctor

J-GLOBAL ID: 200901079789110224
researchmap会員ID: 1000170702

外部リンク: http://www.seto.nanzan-u.ac.jp/~sasaki/

研究キーワード

論理
Logic

研究分野

MISC

A Cut-Free Gentzen Formulation of Basic Propositional Calculus

Journal of Logic, Language and Information 12, 213-225 2003年
A sequent system for a sublogic of the smallest interpretability logic

佐々木克巳

Journal of the Nanzan Academic Society, Mathematical Sciences and Information Engineering 3, 1-17 1-1 2003年
2つの順序をもつクリプケモデルと2つの様相記号をもつ様相論理

森裕記, 佐々木克巳

南山経営研究 18(3) 175-200 2003年
Provability and interpretability logics

数学基礎論シンポジウム02報告集 1-7 2003年
A sequent system for a sublogic of the smallest interpretability logic

Journal of the Nanzan Academic Society, Mathematical Science and Information Engineering 3, 1-17 2003年
A Cut-Free Gentzen Formulation of Basic Propositional Calculus

Journal of Logic, Language and Information 12, 213-225 2003年
A bimodal logics characterized by Kripke models with two ordered relations

Nanzan Management Review 18(3) 175-200 2003年
Provability and interpretability logics

Proceedings of Symposium on Mathmatical logic 02 1-7 2003年
On a provability logic for Rosser sentences

Proceedings of the 36th MLG meeting at Kinosaki 24-25 2002年
Cut-elimination theorem for Visser's propositional logic and formal propositional logic

佐々木克巳

南山経営研究 17(1-2) 53-73 2002年
A sequent system for the in terpretability logic with the persistence axiom

佐々木克巳

Journal of the Nanzan Academic Society, Mathematical Sciences and Information Engineering 2, 25-34 25-34 2002年
On sequent system for bimodal provability logics MOS and PRL1

Bulletin of the Section of logic 31, 91-101 2002年
A cut-free sequent system for the smallest interpretability logic

Studia Logica 70, 353-372 2002年
On a provability logic for Rosser sentences

Proceedings of the 36th MLG meeting at Kinosaki 24-25 2002年
Cut-elimination theorem for Visser's propositional logic and formal propositional logic

Nanzan Management Review 17(1-2) 53-73 2002年
A sequent system for the in terpretability logic with the persistence axiom

Journal of the Nanzan Academic Society, Mathematical Sciences and Information Engineering 2, 25-34 2002年
On sequent systems for bimodal provability logics MOS and PRL1

Bulletin of the Section of logic 31, 91-101 2002年
A cut-free sequent system for the smallest interpretability logic

Katsumi Sasaki

Studia Logica 70(3) 353-372 2002年
Löb's axiom and cut-elimination theorem

佐々木克巳

アカデミア. 数理情報編 : 南山大学紀要 = Academia. Mathematical sciences and information engineering : journal of the Nanzan Academic Society 1 91-98 2001年
Formalizations for the consequence relation of Visser's propositional logic

Reports on Mathematical Logic 33 65-78 1999年

もっとみる

書籍等出版物

失われたドーナツの穴を求めて

芝垣, 亮介, 奥田, 太郎

さいはて社 2017年7月 (ISBN: 9784990956608)
Logics and Provability

ILLC dissertation series, Institute. for Logic, Language and Computation University of Amsterdam 2001年

所属学協会

共同研究・競争的資金等の研究課題

非古典論理における単純代入特性,及びそれのコンピュータへの応用の研究

日本学術振興会科学研究費助成事業奨励研究(A) 1995年 - 1995年

佐々木克巳
非古典論理における単純代入特性、及びそれのコンピューターへの応用の研究

日本学術振興会科学研究費助成事業奨励研究(A) 1993年 - 1993年

佐々木克巳
証明可能性の論理とその応用
Provability logic and its application