A翻訳
from 否定翻訳
A-translation
フリードマン
どのフリードマンかわからん..mrsekut.icon
$ \varphiをA翻訳すると$ \varphi^Aとなる
参考
http://www.kurims.kyoto-u.ac.jp/~terui/summer2013.pdf
p.26~