解釈可能性論理

ウィキペディア

解釈可能性論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/04/22 03:55 UTC 版)

解釈可能性論理 (英: Interpretability logics) は、様相論理の一系統を構成しており、解釈可能性 (en) や弱い解釈可能性 (en)、Π₁-conservativity、cointerpretability、tolerance、cotolerance、および計算複雑さ (arithmetic complexity) のような様々な関連する数学的性質と関係を記述するために証明可能性論理を拡張したものである。