文献

J-GLOBAL ID：201002265600150495   整理番号：10A0848314

含意乗数:古典的および様相論理のための妥当性に関する代数的特性化

Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics

著者 (2件)： FINGER Marcelo (Univ. Sao Paulo) ,  HERNANDES Mauricio S.C. (Univ. Sao Paulo)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6188  ページ： 1-18  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 含意 ,  様相論理 ,  妥当性 ,  特性化