CMA/CLC, Department of Mathematics IST, TU Lisbon, Portugal;
fibring; non-truth-functional semantics; paraconsistency; first-order;
机译:什么是非真相逻辑?
机译:具有Topos语义学的纤维逻辑
机译:宠物食品中的纤维分析和纤维消化率-比较膳食纤维,中性和酸性洗涤剂纤维和粗纤维。
机译:非真实功能纤维语义
机译:一维纤维和摩尔诺抗体的谐波态态
机译:证明语义失语和语义痴呆之间的质量差异:非语言语义加工的新探索
机译:什么是非真实函数逻辑?
机译:IWIm的乘法Fibred automaton语义