Department of Computer Science Roskilde University P.O. Box 260 DK-4000 Roskilde Denmark;
机译:三值命题前粗逻辑中的真度理论和近似推理
机译:三值命题预粗逻辑中的真度理论
机译:三值命题预粗糙逻辑中的真度理论和近似推理
机译:时态逻辑的谐波真理理论
机译:量子真理的本质:量子理论背景下的逻辑,集合论和数学。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:Vann McGee,真理,模糊和悖论。关于真理逻辑的论文。 Giovanni Sommaruga-rosolemos,在数学逻辑的各种理论中的固定点结构