...
机译:通过展平进行经典求反的独立友好逻辑是具有弱依赖关系的二阶逻辑
Departamento de Computacion, FCEyN, Universidad de Buenos Aires, Argentina,CONICET, Argentina;
CS Dept., Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Germany;
Escuela de Ciencia y Tecnologia, Universidad National de San Martin, Argentina,CONICET, Argentina,Ciudad Universitaria, Pabellon I, (C1428EGA) Buenos Aires, Argentina;
Imperfect information logic; Independence friendly logic; Expressive power; Second order logic; Flattening operator;
机译:使用独立友好逻辑或依赖逻辑的组合自然语言语义
机译:使用独立友好逻辑或依赖逻辑的组合自然语言语义
机译:量子逻辑是独立友好逻辑的一部分
机译:计算树逻辑中的滞后否定与古典否定
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:与合成器接口的蜂窝信号电路翻译后取反布尔逻辑设备
机译:使用独立友好逻辑或依赖逻辑的组合自然语言语义