文献

J-GLOBAL ID：201302275317384444   整理番号：13A0754174

Lewis条件付き論理のためのシークエントシステム

Sequent Systems for Lewis’ Conditional Logics

著者 (2件)： LELLMANN Bjoern (Imperial Coll. London, GBR) ,  PATTINSON Dirk (Imperial Coll. London, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7519  ページ： 320-332  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (1件)： 論理